package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `LTerm_buttons_impl.Make`Source

module LiteralIntf : LiteralIntf.Type

Sourceclass t : string -> LTerm_widget_base_impl.t

Sourceval space : LTerm_key.code

class button : ?brackets:(LiteralIntf.string_intf * LiteralIntf.string_intf) option -> 
  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