Module Interval

module Interval: Interval

module type S = Interval_intf.S

module type S1 = Interval_intf.S1

include Interval_intf.S1

module Make (M : sig
type t 

include Comparable.S
include Sexpable.S
include Binable.S
end) : S  with type bound = M.t and type 'a poly_t = M.t t

module Float: S  with type bound = Float.t    and type 'a poly_t = Float.t    t

module Int: S  with type bound = Int.t and type 'a poly_t = Int.t t

module Time: sig .. end