functor (D : Date_sig.S->
  functor (T : Time_sig.S->
    sig
      type t
      module Date :
        sig
          type t = D.t
          type day = D.day = Sun | Mon | Tue | Wed | Thu | Fri | Sat
          type month =
            D.month =
              Jan
            | Feb
            | Mar
            | Apr
            | May
            | Jun
            | Jul
            | Aug
            | Sep
            | Oct
            | Nov
            | Dec
          type year = int
          type field = [ `Day | `Month | `Week | `Year ]
          exception Out_of_bounds
          exception Undefined
          val make : year -> int -> int -> t
          val lmake : year:year -> ?month:int -> ?day:int -> unit -> t
          val today : unit -> t
          val from_jd : int -> t
          val from_mjd : int -> t
          val from_day_of_year : year -> int -> t
          val days_in_month : t -> int
          val day_of_week : t -> day
          val day_of_month : t -> int
          val day_of_year : t -> int
          val week : t -> int
          val month : t -> month
          val year : t -> year
          val to_jd : t -> int
          val to_mjd : t -> int
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val hash : t -> int
          val is_valid_date : year -> int -> int -> bool
          val is_leap_day : t -> bool
          val is_gregorian : t -> bool
          val is_julian : t -> bool
          val to_unixtm : t -> Unix.tm
          val from_unixtm : Unix.tm -> t
          val to_unixfloat : t -> float
          val from_unixfloat : float -> t
          val to_business : t -> year * int * day
          val from_business : year -> int -> day -> t
          val int_of_day : day -> int
          val day_of_int : int -> day
          val int_of_month : month -> int
          val month_of_int : int -> month
          module Period :
            sig
              type t = D.Period.t
              val empty : t
              val add : t -> t -> t
              val sub : t -> t -> t
              val opp : t -> t
              val equal : t -> t -> bool
              val compare : t -> t -> int
              val hash : t -> int
              val make : int -> int -> int -> t
              val lmake : ?year:int -> ?month:int -> ?day:int -> unit -> t
              val year : int -> t
              val month : int -> t
              val week : int -> t
              val day : int -> t
              exception Not_computable
              val nb_days : t -> int
              val ymd : t -> int * int * int
            end
          val add : t -> Period.t -> t
          val sub : t -> t -> Period.t
          val rem : t -> Period.t -> t
          val next : t -> field -> t
          val prev : t -> field -> t
          val is_leap_year : year -> bool
          val same_calendar : year -> year -> bool
          val days_in_year : ?month:month -> year -> int
          val weeks_in_year : year -> int
          val week_first_last : int -> year -> t * t
          val nth_weekday_of_month : year -> month -> day -> int -> t
          val century : year -> int
          val millenium : year -> int
          val solar_number : year -> int
          val indiction : year -> int
          val golden_number : year -> int
          val epact : year -> int
          val easter : year -> t
          val carnaval : year -> t
          val mardi_gras : year -> t
          val ash : year -> t
          val palm : year -> t
          val easter_friday : year -> t
          val easter_saturday : year -> t
          val easter_monday : year -> t
          val ascension : year -> t
          val withsunday : year -> t
          val withmonday : year -> t
          val corpus_christi : year -> t
        end
      module Time :
        sig
          type t = T.t
          type field = [ `Hour | `Minute | `Second ]
          type second = T.second
          module Second :
            sig
              type t = second
              val from_int : int -> t
              val from_float : float -> t
              val to_int : t -> int
              val to_float : t -> float
            end
          val make : int -> int -> second -> t
          val lmake : ?hour:int -> ?minute:int -> ?second:second -> unit -> t
          val now : unit -> t
          val midnight : unit -> t
          val midday : unit -> t
          val convert : t -> Time_Zone.t -> Time_Zone.t -> t
          val from_gmt : t -> t
          val to_gmt : t -> t
          val normalize : t -> t * int
          val hour : t -> int
          val minute : t -> int
          val second : t -> second
          val to_seconds : t -> second
          val to_minutes : t -> float
          val to_hours : t -> float
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val hash : t -> int
          val is_pm : t -> bool
          val is_am : t -> bool
          val from_seconds : second -> t
          val from_minutes : float -> t
          val from_hours : float -> t
          module Period :
            sig
              type t = T.Period.t
              val empty : t
              val add : t -> t -> t
              val sub : t -> t -> t
              val opp : t -> t
              val equal : t -> t -> bool
              val compare : t -> t -> int
              val hash : t -> int
              val length : t -> second
              val mul : t -> t -> t
              val div : t -> t -> t
              val make : int -> int -> second -> t
              val lmake :
                ?hour:int -> ?minute:int -> ?second:second -> unit -> t
              val hour : int -> t
              val minute : int -> t
              val second : second -> t
              val to_seconds : t -> second
              val to_minutes : t -> float
              val to_hours : t -> float
            end
          val add : t -> Period.t -> t
          val sub : t -> t -> Period.t
          val rem : t -> Period.t -> t
          val next : t -> field -> t
          val prev : t -> field -> t
        end
      type day = Date.day = Sun | Mon | Tue | Wed | Thu | Fri | Sat
      type month =
        Date.month =
          Jan
        | Feb
        | Mar
        | Apr
        | May
        | Jun
        | Jul
        | Aug
        | Sep
        | Oct
        | Nov
        | Dec
      type year = Date.year
      type second = Time.second
      type field =
          [ `Day | `Hour | `Minute | `Month | `Second | `Week | `Year ]
      val make : int -> int -> int -> int -> int -> second -> t
      val lmake :
        year:int ->
        ?month:int ->
        ?day:int -> ?hour:int -> ?minute:int -> ?second:second -> unit -> t
      val create : Date.t -> Time.t -> t
      val now : unit -> t
      val from_jd : float -> t
      val from_mjd : float -> t
      val convert : t -> Time_Zone.t -> Time_Zone.t -> t
      val to_gmt : t -> t
      val from_gmt : t -> t
      val days_in_month : t -> int
      val day_of_week : t -> day
      val day_of_month : t -> int
      val day_of_year : t -> int
      val week : t -> int
      val month : t -> month
      val year : t -> int
      val to_jd : t -> float
      val to_mjd : t -> float
      val hour : t -> int
      val minute : t -> int
      val second : t -> second
      val equal : t -> t -> bool
      val compare : t -> t -> int
      val hash : t -> int
      val is_leap_day : t -> bool
      val is_gregorian : t -> bool
      val is_julian : t -> bool
      val is_pm : t -> bool
      val is_am : t -> bool
      val to_unixtm : t -> Unix.tm
      val from_unixtm : Unix.tm -> t
      val to_unixfloat : t -> float
      val from_unixfloat : float -> t
      val from_date : Date.t -> t
      val to_date : t -> Date.t
      val to_time : t -> Time.t
      module Period :
        sig
          type t
          val empty : t
          val add : t -> t -> t
          val sub : t -> t -> t
          val opp : t -> t
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val hash : t -> int
          val make : int -> int -> int -> int -> int -> second -> t
          val lmake :
            ?year:int ->
            ?month:int ->
            ?day:int ->
            ?hour:int -> ?minute:int -> ?second:second -> unit -> t
          val year : int -> t
          val month : int -> t
          val week : int -> t
          val day : int -> t
          val hour : int -> t
          val minute : int -> t
          val second : second -> t
          val from_date : Date.Period.t -> t
          val from_time : Time.Period.t -> t
          val to_date : t -> Date.Period.t
          exception Not_computable
          val to_time : t -> Time.Period.t
          val ymds : t -> int * int * int * second
        end
      val add : t -> Period.t -> t
      val sub : t -> t -> Period.t
      val rem : t -> Period.t -> t
      val next : t -> field -> t
      val prev : t -> field -> t
    end