Руководство по Ada (Ada 2022)
J.11 Атрибут класса немеченых неполных типов
Статическая семантика
Для первого подтипа S типа T, объявленного объявлением неполного типа, который не помечен, определен следующий атрибут:
S'Class
Обозначает первый подтип неполного типа класса, укорененного в T. Завершение T должно объявлять помеченный тип. Такая ссылка на атрибут должна находиться в том же модуле библиотеки, что и объявление неполного типа.
