sig
  val find : Cil_types.varinfo -> Cil_types.initinfo
  val find_from_astinfo :
    string -> Cil_types.localisation -> Cil_types.varinfo
  val get_astinfo : Cil_types.varinfo -> string * Cil_types.localisation
  val iter : (Cil_types.varinfo -> Cil_types.initinfo -> unit) -> unit
  val fold :
    (Cil_types.varinfo -> Cil_types.initinfo -> '-> 'a) -> '-> 'a
  val iter_in_file_order :
    (Cil_types.varinfo -> Cil_types.initinfo -> unit) -> unit
  val fold_in_file_order :
    (Cil_types.varinfo -> Cil_types.initinfo -> '-> 'a) -> '-> 'a
  val iter_in_file_rev_order :
    (Cil_types.varinfo -> Cil_types.initinfo -> unit) -> unit
  val fold_in_file_rev_order :
    (Cil_types.varinfo -> Cil_types.initinfo -> '-> 'a) -> '-> 'a
  exception AlreadyExists of Cil_types.varinfo * Cil_types.initinfo
  val add : Cil_types.varinfo -> Cil_types.initinfo -> unit
  val add_decl : Cil_types.varinfo -> unit
  val self : State.t
end