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