sig
  type clobbered_set = { mutable clob : Base.SetLattice.t; }
  val key : Locals_scoping.clobbered_set Abstract_domain.key
  val structural_descr : Structural_descr.t
  val bottom : unit -> Locals_scoping.clobbered_set
  val top : unit -> Locals_scoping.clobbered_set
  val remember_bases_with_locals :
    Locals_scoping.clobbered_set -> Base.SetLattice.t -> unit
  val remember_if_locals_in_value :
    Locals_scoping.clobbered_set -> Locations.location -> Cvalue.V.t -> unit
  val offsetmap_contains_local : Cvalue.V_Offsetmap.t -> bool
  val make_escaping :
    exact:bool ->
    escaping:Base.Hptset.t ->
    on_escaping:(b:Base.t ->
                 itv:Integer.t * Integer.t -> v:Cvalue.V.t -> unit) ->
    within:Base.SetLattice.t -> Cvalue.Model.t -> Cvalue.Model.t
  val make_escaping_fundec :
    Cil_types.fundec ->
    Locals_scoping.clobbered_set ->
    Cil_types.varinfo list -> Cvalue.Model.t -> Cvalue.Model.t
end