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
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