module Interval: Interval
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