package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

Module `Make.LTerm_buttons`Source

Sourceclass t : string -> LTerm_widget_base_impl.t

Sourceval space : LTerm_key.code

class button : ?brackets:(LiteralIntf.string_intf * LiteralIntf.string_intf) -> LiteralIntf.string_intf -> object ... end

Sourceclass checkbutton : LiteralIntf.string_intf -> bool -> object ... end

Sourceclass type !'a radio = object ... end

Sourceclass !'a radiogroup : object ... end

Sourceclass !'a radiobutton : 'a radiogroup -> LiteralIntf.string_intf -> 'a -> object ... end