Derived expression types

For reference purposes, section [*] gives rewrite rules that will convert constructs described in this section into the primitive constructs described in the previous section.



Subsections