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