Module Int_Interv


module Int_Interv: sig .. end
Locates (b2, e2) with respect to (b1, e1). Therefore the meaning of "Above" and "Below" may look as if it is reversed, beware.

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 sentinel : t
val shift : Abstract_interp.Int.t -> t -> t
val check_coverage : t -> (t * 'a) list -> unit
val clip_itv : t -> t -> t