The Avail Programming Language

Variable

An entity with a name, a type, and a mutable value. A variable is created through initialization or declaration, and its value may be set repeatedly through assignment. Only values that resolve to a subtype of the variable's type may be stored in the variable.

References: In-depth looks at variables, module variable phrases, local variable phrases, variable use phrases, and variable reference phrases.