NAME
true - predefined boolean constant.

SYNTAX
true

DESCRIPTION
The keyword true is a synonym of the constant value one (1) , and can be used in any context. Because of the mapping to (1) , true is also a synonym of skip . It supports a more natural syntax for manipulating boolean values.

NOTES
Because it is intercepted in the lexical analyzer as a meta term, true is always replaced by its numeric equivalent in error traces.

Semantically, true , skip , and (1) are indistinguishable. Which term is best used depends on context and convention.

SEE ALSO
condition
false
skip