package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

Terminal manipulation library for OCaml

Install

sha512=78648768644058337e22c79cf1fbb1a36472b24f11b1dc0461fc38419be6ec01b02d8d0ac45fed0bc99f91ba4c0f19d3bda113e834e064bee973b734527b9766

Keys

Sourcetype code =

Type of key code.

Sourcetype t = {

}

Type of key.

Sourceval compare : t -> t -> int

Same as Pervasives.compare.

Sourceval control : t -> bool

Sourceval meta : t -> bool

Sourceval code : t -> code

Sourceval to_string : t -> string

Returns the string representation of the given key.

Sourceval to_string_compact : t -> string

Returns the string representation of the given key in the form "C-M-a".