The type of booleans is written Bool or Boolean. There are exactly two values of type Boolean: false and true (which can also be written False and True).

Logical operators can be used to manipulate Boolean values, and expressions of type Boolean can be used as conditions in a case expression.