package stdcompat

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.

not b is the boolean negation of b.

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 iff b0 and b1 are both either true or false.

compare b0 b1 is a total order on boolean values. false is smaller than true.

to_int b is 0 if b is false and 1 if b is true.

to_float b is 0. if b is false and 1. if b is true.

to_string b is "true" if b is true and "false" if b is false.