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