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) -> 'a -> 'a
end