Primitive Types

Syntax

<primitive-type> ::= bool | number | char | !

bool - true or false

number (internally a IEEE 754 double-precision floating point number)

char - character type, unimplemented

! - the uninhabited never type