7.24 MAP

Maps global name gvn to be mapped to the non-default namespace expr V namespace, provided the optional postcondition evaluates to true or is omitted.

Syntax

MAP[:postcondition] GLOBAL gvn=expr V namespace

This document was generated on September 20, 2023 using texi2html 5.0.