'a ->
object
method add_radio :
label:string -> ?tooltip:string -> value:'a -> unit -> Widget.widget
method add_toggle :
?label:string ->
?icon:Widget.icon -> ?tooltip:string -> value:'a -> unit -> Widget.widget
method connect : ('a -> unit) -> unit
method fire : 'a -> unit
method get : 'a
method lock : (unit -> unit) -> unit
method on_check : 'a -> (bool -> unit) -> unit
method on_event : (unit -> unit) -> unit
method on_value : 'a -> (unit -> unit) -> unit
method send : ('a -> unit) -> unit -> unit
method set : 'a -> unit
method set_enabled : bool -> unit
end