Boolean functions

The type Bool is a built-in type defined as:

type Bool
  | True
  | False

There are a number of built-in operators defined on values of type Bool, e.g., &&, ||, and the if expression.

not : Bool -> Bool

The not function returns the negated value of its input.

Examples

val a = not True
//    = False
val b = not False
//    = True