Next:
Existential class constraints
, Up:
Existential types
[
Contents
]
11.1 Existentially typed predicates and functions
•
Syntax for explicit type quantifiers
:
•
Semantics of type quantifiers
:
•
Examples of correct code using type quantifiers
:
•
Examples of incorrect code using type quantifiers
: