Un tipo definito nell'ambito di un altro tipo. Un tipo nidificato è in genere utilizzato per incapsulare i dettagli di implementazione del tipo di primo livello.