predefined boolean constant.
is a synonym of the constant value one (1),
and therefore also a synonym of
It supports a more natural syntax for
manipulating Boolean values.
This keyword is not supported in Spin versions prior to 3.0.
Because it is intercepted in the lexical analyzer as a meta-term,
it shows up in traces as its numeric equivalent
skip(1), false(1), condition(4).