package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
val state_change_callbacks : ('a option -> unit) LTerm_widget_callbacks.callbacks
val mutable state : 'a option
val mutable buttons : 'a LTerm_buttons.radio list
method on_state_change : ?switch:LTerm_widget_callbacks.switch -> ('a option -> unit) -> unit
method register_object : 'a LTerm_buttons.radio -> unit
method state : 'a option
method switch_to : 'a -> unit