[ << ] [ < ] [ 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 November 11, 2022 using texi2html 5.0.