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