See predefined identifiers.
{schema}
This constructor does not require any parameters.
True
Formal declaration of TL combinators and constructors.