The Avail Programming Language

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;