sig
val to_exp :
adata:Assert.t ->
?inplace:bool ->
Cil_types.kernel_function ->
Env.t -> Cil_types.term -> Cil_types.exp * Assert.t * Env.t
exception No_simple_translation of Cil_types.term
val untyped_to_exp :
Cil_types.typ option -> Cil_types.term -> Cil_types.exp
val translate_rte_exp_ref :
(?filter:(Cil_types.code_annotation -> bool) ->
Cil_types.kernel_function -> Env.t -> Cil_types.exp -> Env.t)
Stdlib.ref
end