sig
type t = My_bigint.big_int
val name : string
val pretty : Format.formatter -> t -> unit
val compare : t -> t -> int
val hash : t -> int
module Datatype :
sig
type t = t
val descr : Unmarshal.t
val copy : t -> t
val name : string
val register_comparable :
?compare:(t -> t -> int) ->
?equal:(t -> t -> bool) -> ?hash:(t -> int) -> unit -> unit
val is_comparable_set : unit -> bool
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val mem_project : ((Project.project -> bool) -> t -> bool) option ref
end
val gt : t -> t -> bool
val le : t -> t -> bool
val ge : t -> t -> bool
val lt : t -> t -> bool
val eq : t -> t -> bool
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val native_div : t -> t -> t
val rem : t -> t -> t
val pos_div : t -> t -> t
val c_div : t -> t -> t
val c_rem : t -> t -> t
val cast : size:t -> signed:bool -> value:t -> t
val abs : t -> t
val zero : t
val one : t
val two : t
val four : t
val minus_one : t
val is_zero : t -> bool
val is_one : t -> bool
val equal : t -> t -> bool
val pgcd : t -> t -> t
val ppcm : t -> t -> t
val min : t -> t -> t
val max : t -> t -> t
val length : t -> t -> t
val of_int : int -> t
val of_float : float -> t
val of_int64 : Int64.t -> t
val to_int : t -> int
val to_float : t -> float
val neg : t -> t
val succ : t -> t
val pred : 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 pos_rem : t -> t -> t
val shift_left : t -> t -> t
val shift_right : t -> t -> t
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a
val logand : t -> t -> t
val logor : t -> t -> t
val logxor : t -> t -> t
val lognot : t -> t
val power_two : int -> t
val two_power : t -> t
val extract_bits :
with_alarms:CilE.warn_mode -> start:t -> stop:t -> t -> t
val descr : Unmarshal.t
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
end