Ein Typ, der innerhalb des Bereichs eines anderen Typs definiert. Ein geschachtelter Typ wird in der Regel für Kapselung Implementierungsdetails des übergeordneten Typs verwendet.