Erweiterungen und Basistypen

Gegeben sei eine Deklaration der Form

T0 = RECORD (T) ... END;

Dann ist T0 eine direkte Erweiterung von T, und T ist der direkte Basistyp von T0.

Erweiterte Typen können erneut erweitert werden: Ein Record-Typ U ist eine Erweiterung des Record-Typs T genau dann, falls

U = T oder

U eine direkte Erweiterung von T ist oder

U eine direkte Erweiterung einer Erweiterung von T ist.

Entsprechend ist ein Record-Typ T genau dann ein Basistyp eines Record-Typs U, wenn U eine Erweiterung von T ist.

	U = T oder
	U eine direkte Erweiterung von T ist oder
	U eine direkte Erweiterung einer Erweiterung von T ist.