5.5 Boolean operators

Operator: not = (bool a) bool
Operator: ~ = (bool a) bool

Monadic operator that yields the logical negation of its operand.

Operator: or = (bool a, b) bool

Dyadic operator that yields the logical “or” of its operands.

Operator: and = (bool a, b) bool
Operator: & = (bool a, b) bool

Dyadic operator that yields the logical “and” of its operands.

Operator: eq = (bool a, b) bool
Operator: = = (bool a, b) bool

Dyadic operator that yields true if its operands are the same truth value, false otherwise.

Operator: ne = (bool a, b) bool
Operator: /= = (bool a, b) bool

Dyadic operator that yields false if its operands are the same truth value, true otherwise.

Operator: abs = (bool a) int

Monadic operator that yields 1 if its operand is true, and 0 if its operand is false.