class ['a] switch : 'a -> object .. end
['a]
'a ->
object
end
Toolbox.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