sig
type t
type value
val add :
Precise_locs.precise_location ->
Cil_types.typ ->
Simple_memory.S.value -> Simple_memory.S.t -> Simple_memory.S.t
val find :
Precise_locs.precise_location ->
Cil_types.typ -> Simple_memory.S.t -> Simple_memory.S.value
val remove :
Precise_locs.precise_location -> Simple_memory.S.t -> Simple_memory.S.t
val remove_variables :
Cil_types.varinfo list -> Simple_memory.S.t -> Simple_memory.S.t
val fold :
(Base.t -> Simple_memory.S.value -> 'a -> 'a) ->
Simple_memory.S.t -> 'a -> 'a
end