'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