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