package lambda-term

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val state_change_callbacks : ('a0 option -> unit) LTerm_widget_callbacks.callbacks
method on_state_change : 'a radiogroup -> ?switch:LTerm_widget_callbacks.switch -> ('a0 option -> unit) -> unit
val mutable state : 'a0 option
val mutable buttons : 'a1 radio list
method state : 'b -> 'a0 option
method register_object : 'b -> 'a1 radio -> unit
method switch_to : 'b -> 'a2 -> unit