next up previous contents index
Next: Symbols Up: Design Choices and Extensions Previous: Design Choices and Extensions   Contents   Index

Data Types



Subsections

Peter Van Eynde 2001-03-08