Kompatibilität II

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.

	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.