Module Int_Intervals

module Int_Intervals: sig .. end
Sets of intervals with a lattice structure. Consecutive intervals are automatically fused.

include Int_Intervals_sig