Skip to main content

Built-in Types

TypeMeaning
nat64-bit natural numbers
byte8-bit natural numbers
stringUTF-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
Pa reference to a fact of predicate P
boolthe boolean type with values true and false
maybe Tan optional value of type T
enum { nameā‚ | ... | nameā‚™ }exactly one of the symbols nameā‚..nameā‚™