Next: File Names, Preprocessor Symbols
Previous: Generated Functions
The following phyla and operators are predefined.
They cannot be redefined by the user's input.
These predefined phyla have the property of unique representation.
The predefined operators are only used in conjunction with
the Synthesizer Generator, see Section 3.5.
Predefined Phyla and Operators
||_Int mapped directly to C
The operators mentioned here should not be used.
see the description of the functions mkcasestring, and mknocasestring
in Section 2.2, which create values of these phyla.