Module `Logic_functions.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