[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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
CONST:postcondition mref1=initial-value1,...,mrefN=initial-valueN
This document was generated on September 20, 2023 using texi2html 5.0.