sig
  val add :
    ?ty:Cil_types.typ ->
    Env.t ->
    Cil_types.kernel_function ->
    Cil_types.logic_var -> Cil_types.varinfo * Cil_types.exp * Env.t
  val add_binding :
    Env.t -> Cil_types.logic_var -> Cil_types.varinfo -> Env.t
  val get : Env.t -> Cil_types.logic_var -> Cil_types.varinfo
  val remove : Env.t -> Cil_types.logic_var -> unit
end