Next: , Up: Existential types   [Contents]


12.1 Existentially typed predicates and functions