Module Lattice_Interval_Set

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