Next: , Up: Existential types   [Contents]


11.1 Existentially typed predicates and functions