IntervalSetDomainmodule IntervalSetFunctor
(Ints_t : IntOps.IntOps) :
IntDomain0.SOverflow
with type int_t = Ints_t.t
and type t = (Ints_t.t * Ints_t.t) listIntervalSetFunctor that is not just disjunctive completion of intervals, but attempts to be precise for wraparound arithmetic for unsigned types
module IntervalSet : sig ... end