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