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