Module Interval


module Interval: sig .. end
Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.


Module for simple closed intervals over arbitrary types that are ordered correctly using polymorphic compare.
module type S = Interval_intf.S
module type S1 = Interval_intf.S1
include Interval_intf.S1
module Make: 
functor (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 = Core_int.t and type 'a poly_t = Core_int.t t
module Time: sig .. end