Previous:
Primitive types
, Up:
Builtin types
[
Contents
]
3.1.2 Other builtin types
•
Predicate and function types
:
•
Tuple types
:
•
The universal type
:
•
The ``state-of-the-world'' type
: