12.2. Other magic
- bounds
- Used in reglex construction, end of string being lexed.
- lexeme_start
- Used in reglex construction, pointer to start of current lexeme.
- lexeme_end
- Used in reglex construction, pointer to end of current lexeme.
- root
- Alias of top level module.
- _ot_*
- Names the type of a struct returned by obj construction.
- result
- Return value of function used in postcondition.
- this
- Name of current class object.
- get_*
- Function called to get a component from an abstract type.
- _tuple_cons
- Macro which concatenates tuples.
- _flatten
- Macro which recursively flattens a tuple or sum type.
- _tuple
- Macro which makes a singleton tuple term.
- _str
- Macro which returns the Felix string representation of
an expression term.
- _parse_expr
- Macro which returns an expression based on parsing
a string literal.
- _apply_*
- Function which allows specifies handling of applicative
types other than functions.
- _ctor_*
- Function which implements type constructor.
- typeof
- The type of an expression.
- proj_*
- The n'th projection of a product type.
- case_arg*
- The n'th varianty of a sum type.
- typesetof
- Creates typeset from a type tuple.
- TYPE
- The kind (category) of all types.