sig
  class type t =
    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
      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 -> ?text:string -> string -> unit
      method set_global_attribute :
        ?strikethrough:bool -> ?text:string -> Cil_types.varinfo -> unit
      method view : GTree.view
    end
  val make : GTree.view -> Filetree.t
end