next up previous contents index
Weiter: 2.7.3 Abstrakte Typen Hinauf: 2.7 Getaggte Typen Zurück: 2.7.1 Typerweiterungen

2.7.2 Erweiterungsaggregate

   

Es gibt auch die Möglichkeit, für Typerweiterungen Aggregate zu verwenden. Beispiele sind:

painted_point'(point with red)
(point'(p) with paint => black)



Johann Blieberger
Wed Feb 11 09:58:52 MET 1998