module Int_Interv:Undocumented. Do not use this module if you don't know what you are doing.sig
..end
exception Cannot_compare_intervals
include Datatype.S
val fuzzy_order : t -> t -> Rangemap.fuzzy_order
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