5.38 WITH

FreeM Extension

Sets a prefix to be applied to all subsequent local variable or constant references.

Syntax

WITH:postcondition var-prefix

In the above single-argument form, sets the $WITH prefix to var-prefix, provided that the optional postcondition is either true or omitted.

The var-prefix argument may be a string literal or any valid FreeM expression.

WITH:postcondition

In the above argumentless form, clears the $WITH prefix, provided the optional postcondition is either true or omitted. Equivalent to WITH "".

This document was generated on January 3, 2022 using texi2html 5.0.