Egy másik alkalmazási körén belül definiált típus. Egy beágyazott típusra jellemzően az implementációs részletek a legfelső szintű típusú kiöntő.