|
BOOL |
Boolean values |
|
TRUE |
Boolean true |
|
FALSE |
Boolean false |
|
bool |
Convert a predicate into a Boolean value |
is a pre-defined carrier set that contains the constants
and
.
denotes the Boolean value of a predicate
. If
is true, the expression is
. If
is false, the expression is
.
with
being a predicate.