bool constants

Are supported by the standard library features true and false, which return TRUE or FALSE, respectively, as a value of choice type bool

Note that you typically should not use TRUE or FALSE directly, since they typically result in wrong types when used for type inference.

More details on this is given in section Choice Types .