sig
  val add : Cil_types.varinfo -> Cil_types.varinfo -> unit
  val find : Cil_types.varinfo -> Cil_types.varinfo
  val mem : Cil_types.varinfo -> bool
end