5.4.2. Undefined Value

5.4.2. Undefined Value
Prev	5.4. Constants	Next

	Description
	Undefined value is a constant, which is used when the value of a term (e.g. a variable) is not known.

Syntax

	Syntax
UndefValueAST ::= undef The undefined value is identified by the `undef` keyword.

UndefValueAST ::= undef

The undefined value is identified by the undef keyword.

	Semantics
	The undefined value is assigned to a term, if no value has been assigned to it.

Remark. Undefined values are frequently used in the let rule, when the initialization of a variable is irrelevant at a certain stage.

Defined In: ASM constant

Prev	Up	Next
5.4.1. ASM Constant (Value)	Home	5.4.3. Boolean Constant