sig
type strnum = Str_Z | Str_R | C_number
val add_cast :
loc:Cil_types.location ->
?name:string ->
Env.t ->
Cil_types.kernel_function ->
Cil_types.typ option ->
Typed_number.strnum ->
Cil_types.term option -> Cil_types.exp -> Cil_types.exp * Env.t
end