package lambda-term

  1. Overview
  2. Docs
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 radio list
method on_state_change : ?switch:LTerm_widget_callbacks.switch -> ('a option -> unit) -> unit
method register_object : 'a radio -> unit
method state : 'a option
method switch_to : 'a -> unit