sig
  val comparison_to_exp :
    loc:Cil_types.location ->
    Cil_types.kernel_function ->
    Env.t ->
    name:string ->
    Cil_types.binop ->
    Cil_types.exp -> Cil_types.exp -> Cil_types.exp * Env.t
  val translate_rte_ref :
    (?filter:(Cil_types.code_annotation -> bool) ->
     Cil_types.kernel_function -> Env.t -> Cil_types.exp -> Env.t)
    Stdlib.ref
end