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.