1

Actually, we defer description to alias variable patterns until Section 8.4.4, in the context of a discussion on Cyclone's non-aliasable pointers.

2

The following discussion is not quite correct when allocating into the unique or reference-counted region; this will be described in Section 8.4.5.

Web Accessibility