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