Module Int_Interv

module Int_Interv: sig .. end
Intervals of integers.

exception Cannot_compare_intervals
include Datatype.S
val fuzzy_order : t -> t -> Rangemap.fuzzy_order
Locates (b2, e2) with respect to (b1, e1). Therefore the meaning of "Above" and "Below" may look as if it is reversed, beware.
val shift : Integer.t -> t -> t
val clip_itv : t -> t -> t
exception Not_fully_included
val check_coverage : t -> (t * 'a) list -> unit