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) ->
    Simple_memory.S.t -> '-> 'a
end