Built-in Types
| Type | Meaning |
|---|---|
nat | 64-bit natural numbers |
byte | 8-bit natural numbers |
string | UTF-8 encoded strings |
[T] | lists of elements of type T |
set T | set of elements of type T |
{ field₁ : T₁, ..., fieldₙ : Tₙ } | a record with zero or more named fields |
{ field₁ : T₁ | ... | fieldₙ : Tₙ } | a sum (union) type with one or more named alternatives |
P | a reference to a fact of predicate P |
bool | the boolean type with values true and false |
maybe T | an optional value of type T |
enum { name₁ | ... | nameₙ } | exactly one of the symbols name₁..nameₙ |