Module Interval

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

module type S1 = Interval_intf.S1
include Interval.S1
module type S = S 
  with type 'a poly_t := 'a t 
  with type 'a poly_set := 'a Set.t
module Make: 
functor (Bound : sig
type t 
include Comparable.S
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val bin_t : t Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_t : t Core_kernel.Std.Bin_prot.Read_ml.reader
val bin_read_t_ : t Core_kernel.Std.Bin_prot.Unsafe_read_c.reader
val bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Unsafe_read_c.reader
val bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_t : t Core_kernel.Std.Bin_prot.Write_ml.writer
val bin_write_t_ : t Core_kernel.Std.Bin_prot.Unsafe_write_c.writer
val bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer
end) -> S with type bound = Bound.t
module Float: S  with type bound = Float.t
module Int: S  with type bound = Int.t
module Time: sig .. end
module Ofday: S  with type bound = Ofday.t
module Stable: sig .. end