sig
  val reset : unit -> unit
  val is_empty : unit -> bool
  val add : string -> Cil_types.varinfo -> unit
  val find : string -> Cil_types.varinfo
  val fold : (string -> Cil_types.varinfo -> '-> 'a) -> '-> 'a
end