next up previous contents
Next: Graph representations by graph Up: Global data declarations Previous: Global data declarations

Predicates, object types and functors


 
Uwe Assmann
1998-12-22