next up previous contents
Next: Non-negative numbers Up: Dynamic types Previous: Extensional types   Contents

Conditional types


Subsections
Hassan Ait Kaci 2002-05-26