`bool` type

A bool is a boolean type with two values: true and false. It is used for conditions, logical operations, and flags.

Size and alignment

Type	Size	Alignment	Values
`bool`	1 byte	1	`true`, `false`

Internally, a bool is an integer:

Value	Byte
`false`	`0`
`true`	`1`

"Invariant"

A well-formed bool is always 0 or 1. Other byte values are not valid bool values, but can appear after a REINTERPRET cast from an integer.

true lnot    // false
false lnot   // true

true true &&    // true
true false &&   // false
false false &&  // false

true false ||   // true
false false ||  // false

An integer can be cast to bool with NORMALIZE_BOOL: non-zero becomes true, zero becomes false.

0 typecast bool    // false
42 typecast bool   // true

A bool can be cast to an integer. The value extends to the integer type.

true typecast i64    // 1
false typecast i64   // 0