|
TYPE Int10 = INTEGER [1..10]; Int5 = Int10 [1..5]; Card10 = [1..10]; (* Basistyp CARDINAL! *) TYPE Colours = (red, green, blue, white, black); RGBColours = [red..blue]; BWColours = [white..black]; |
Int10 ist kompatibel zu INTEGER und Int5,
jedoch nicht zu CARDINAL oder Card10.
| |
Die Kompatibilitäts-Relation ist transitiv: Int5 ist
kompatibel zu INTEGER.
| |
RGBColours ist kompatibel zu BWColours, obwohl
der Wertebereich sich nicht überschneidet.
|
Copyright © 1999 Andreas Borchert, in HTML konvertiert am 04.02.1999 |