module Unhashconsed_Int_Intervals:sig
..end
include struct ... end
val fold_enum : split_non_enumerable:'a -> 'b -> 'c -> 'd -> 'e
val pretty_typ : Cil_types.typ option -> Format.formatter -> tt -> unit
val from_ival_int : Ival.tt -> Abstract_interp.Int.t -> t
val from_ival_size : Ival.tt -> Int_Base.tt -> t
val inject_zero_max : Int_Base.tt -> t
val diff : t -> t -> t
val diff_if_one : 'a -> 'b
val shift_int64 : Abstract_interp.Int.t -> tt -> t
val shift_ival : tt -> Ival.tt -> t