Make (alt-ergo-lib.AltErgoLib.Intervals

Parameters

module Ex : Intervals_intf.Explanations

Signature

type explanation = Ex.t

The type of explanations.

type 'a union

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

module Union
  (OT : Intervals_intf.OrderedType) : 
  Intervals_intf.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.