'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