module Int: sig
.. end
include Abstract_interp.Arithmetic_Value
val pretty_s : unit -> t -> string
val neq : t -> t -> bool
val to_int64 : t -> int64
val zero : t
val eight : t
val div : t -> t -> t
val billion_one : t
val hash : t -> int
val tag : t -> int
val equal : t -> t -> bool
val log_shift_right : t -> t -> t
val shift_right : t -> t -> t
val shift_left : t -> t -> t
val to_int : t -> int
val of_int : int -> t
val of_int64 : int64 -> t
val of_string : string -> t
val to_string : t -> string
val to_float : t -> float
val of_float : 'a -> 'b
val minus_one : t
val pretty : Format.formatter -> t -> unit
val pretty_debug : Format.formatter -> t -> unit
val is_zero : t -> bool
val compare : t -> t -> int
val is_one : t -> bool
val pos_div : t -> t -> t
val pos_rem : t -> t -> t
val native_div : t -> t -> t
val c_div : t -> t -> t
val c_rem : t -> t -> t
val power_two : int -> t
val extract_bits : with_alarms:CilE.warn_mode -> start:t -> stop:t -> t -> t
val is_even : t -> bool
val pgcd : t -> t -> t
val ppcm : t -> t -> t
val length : t -> t -> t
val min : t -> t -> t
val max : t -> t -> t
val round_down_to_zero : t -> t -> t
val round_up_to_r : min:t -> r:t -> modu:t -> t
val round_down_to_r : max:t -> r:t -> modu:t -> t
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a