sig
val store :
Env.t -> Cil_types.kernel_function -> Cil_types.varinfo list -> Env.t
val duplicate_store :
Env.t -> Cil_types.kernel_function -> Cil_datatype.Varinfo.Set.t -> Env.t
val delete_from_list :
Env.t -> Cil_types.kernel_function -> Cil_types.varinfo list -> Env.t
val delete_from_set :
Env.t -> Cil_types.kernel_function -> Cil_datatype.Varinfo.Set.t -> Env.t
end