Syntax

The syntax encoding specifies the grammar and their safety, enabling checks and the generation of externals. The grammar is used during preprocessing to generate formulas.

Grammar definition

Safety

Derived operators