sig
val name_of_mpz_arith_bop : Cil_types.binop -> string
val init : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
val init_set :
loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
val clear : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
val affect :
loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
end