class ['a] group : 'a -> object .. end
['a]
'a ->
object
end
Widget.selector
method add_toggle : ?label:string -> ?icon:icon -> ?tooltip:string -> value:'a -> unit -> widget
?label:string -> ?icon:icon -> ?tooltip:string -> value:'a -> unit -> widget
method add_radio : label:string -> ?tooltip:string -> value:'a -> unit -> widget
label:string -> ?tooltip:string -> value:'a -> unit -> widget