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