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