Module Int_Intervals

module Int_Intervals: sig .. end

Sets of intervals with a lattice structure. Consecutive intervals are automatically fused.


include Int_Intervals_sig