package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

Class `Make.radiogroup`Source

val state_change_callbacks : ('a option ->
                               unit)
                               LTerm_widget_callbacks.callbacks

method on_state_change : ?switch:??? -> ('a option -> unit) -> unit

val mutable state : 'a option

val mutable buttons : 'a radio list

method state : 'a option

method register_object : 'a radio -> unit

method switch_to : 'a -> unit