[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

12.38 ZCONST

FreeM Extension

Defines a local constant, or variable that cannot be altered after its initial definition, provided the optional postcondition is true or omitted.

Constants must only be locals, and globals are not supported.

Syntax

ZCONST:postcondition mref1=initial-value1,...,mrefN=initial-valueN

This document was generated on May 5, 2025 using texi2html 5.0.