Именованными типами данных являются типы данных, которые могут быть объявлены в формальной спецификации. Существуют два вида именованных типов данных: объектный и определенный. В данном подразделе определено обращение к именованным типам данных; объявление этих типов данных определено в разделе 9.