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

7.11 CONST

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.