Intervals_intf.Core
Polymorphic Union
implementations.
module Union
(OT : OrderedType) :
Union
with type 'a union = 'a union
and type value := OT.finite
and type bnd = OT.t
and type explanation := explanation
Signature for union-of-intervals implementations with explanations.