'a list Pervasives.ref ->
string list option ->
string option ->
('a -> 'a) option ->
('a -> string list) ->
('a -> string option) ->
('a -> 'a -> bool) ->
(unit -> 'a list) ->
string ->
bool ->
GData.tooltips ->
object
  val mutable list_select : int list
  method box : GBin.event_box
  method edit_selected : ('a -> 'a) -> unit
  method up_selected : unit
  method update : 'a list -> unit
end