Frama-C API - Translate_terms
val to_exp_ref : (adata:Assert.t -> ?inplace:bool -> Frama_c_kernel.Cil_types.kernel_function -> Env.t -> Frama_c_kernel.Cil_types.term -> Frama_c_kernel.Cil_types.exp * Assert.t * Env.t) Stdlib.ref
Translate_terms
val to_exp_ref : (adata:Assert.t -> ?inplace:bool -> Frama_c_kernel.Cil_types.kernel_function -> Env.t -> Frama_c_kernel.Cil_types.term -> Frama_c_kernel.Cil_types.exp * Assert.t * Env.t) Stdlib.ref