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 |
{ 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ā |