Module type Intervals_intf.Core

Polymorphic Union implementations.

type explanation

The type of explanations.

type 'a union

Normalized non-empty union of intervals over 'a values.

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.