module Lattice_Interval_Set: sig
.. end
Sets of disjoint intervals with a lattice structure. Consecutive
intervals are automatically fused. Current implementation uses a
sorted list.
type
itv = Abstract_interp.Int.t * Abstract_interp.Int.t
module Int_Intervals: sig
.. end