module Gmpz:sig
..end
GMP Values.
val init_t : unit -> unit
Must be called before any use of GMP
val set_t : Cil_types.typeinfo -> unit
val t : unit -> Cil_types.typ
type "mpz_t"
val t_ptr : unit -> Cil_types.typ
type "_mpz_struct *"
val is_now_referenced : unit -> unit
Should be called once one variable of type "mpz_t" exists
val is_t : Cil_types.typ -> bool
is the type equal to "mpz_t"?
val init : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
build stmt "mpz_init(v)"
val init_set : loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
init_set x_as_lv x_as_exp e
builds stmt x = e
or mpz_init_set*(v, e)
with the good function 'set' according to the type of e
val clear : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
build stmt "mpz_clear(v)"
val affect : loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
affect x_as_lv x_as_exp e
builds stmt x = e
or mpz_set*(e)
with the
good function 'set' according to the type of e