Ένας τύπος που ορίζονται εντός της εμβέλειας του άλλου τύπου. Ενός ένθετου τύπου χρησιμοποιείται συνήθως για την ενσωμάτωση λεπτομέρειες εφαρμογής του ανώτατου επιπέδου τύπου.