`Stdlib.Bool`

Boolean values.

The type of booleans (truth values).

The constructors `false`

and `true`

are included here so that they have paths, but they are not intended to be used in user-defined data types.

`e0 && e1`

is the lazy boolean conjunction of expressions `e0`

and `e1`

. If `e0`

evaluates to `false`

, `e1`

is not evaluated. Right-associative operator at precedence level 3/11.

`e0 || e1`

is the lazy boolean disjunction of expressions `e0`

and `e1`

. If `e0`

evaluates to `true`

, `e1`

is not evaluated. Right-associative operator at precedence level 2/11.

`equal b0 b1`

is `true`

if and only if `b0`

and `b1`

are both `true`

or both `false`

.

`compare b0 b1`

is a total order on boolean values. `false`

is smaller than `true`

.