Un tipo etiquetado puede ser un registro de modo que su estructura es pública, o puede ser un , aunque en la parte privada siempre se termina definiendo como un registro.