The Avail Programming Language
Mobile Users: Click here to view our text rendering warning.

Local Constant

A local constant is one that is defined inside a function definition. A local constant definition may be bound to any expression whatsoever, including one that refers to variables and arguments. Its type is the same as the inferred type of the expression. The local constant definition itself is a statement, and therefore its inferred type is .

Grammar: [ foo ::= bar; ];

Example: rng ::= a pRNG;