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