sig
val create :
loc:Cil_types.location ->
?name:string ->
Cil_types.exp ->
Env.t ->
Cil_types.kernel_function ->
Cil_types.term option -> Cil_types.exp * Env.t
val init_set :
loc:Cil_types.location ->
Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
val normalize_str : string -> string
val cast_to_z :
loc:Cil_types.location ->
?name:string -> Cil_types.exp -> Env.t -> Cil_types.exp * Env.t
val add_cast :
loc:Cil_types.location ->
?name:string ->
Cil_types.exp ->
Env.t ->
Cil_types.kernel_function -> Cil_types.typ -> Cil_types.exp * Env.t
val binop :
loc:Cil_types.location ->
Cil_types.binop ->
Cil_types.exp ->
Cil_types.exp ->
Env.t ->
Cil_types.kernel_function ->
Cil_types.term option -> Cil_types.exp * Env.t
val cmp :
loc:Cil_types.location ->
Cil_types.binop ->
Cil_types.exp ->
Cil_types.exp ->
Env.t ->
Cil_types.kernel_function ->
Cil_types.term option -> Cil_types.exp * Env.t
end