object
  method add_select_function :
    (was_activated:bool -> activating:bool -> Cil_types.global list -> unit) ->
    unit
  method append_pixbuf_column :
    title:string ->
    (Cil_types.global list -> GTree.cell_properties_pixbuf list) -> unit
  method model : GTree.model_filter
  method reset : unit -> unit
  method reset_dynamic_columns :
    (GTree.view -> Cil_types.global list GTree.column -> unit) list -> unit
  method select_global : Cil_types.varinfo -> unit
  method set_file_attribute :
    ?strikethrough:bool -> ?visible:bool -> ?text:string -> string -> unit
  method set_global_attribute :
    ?strikethrough:bool ->
    ?visible:bool -> ?text:string -> Cil_types.varinfo -> unit
  method view : GTree.view
end