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
end
) ->
S
with type bound = M.t and type 'a poly_t = M.t t
Specific optimized modules
module Float: S
with type bound = Float.t and type 'a poly_t = Float.t t
Specific optimized modules
module Int: S
with type bound = Int.t and type 'a poly_t = Int.t t
module Time: S
with type bound = Time.t and type 'a poly_t = Time.t t