J.4 Атрибут ограниченного типа

Возвращает значение False, если S обозначает неограниченный неформальный закрытый тип с дискриминантами; также возвращает значение False, если S обозначает формальный закрытый тип-шаблон, а соответствующий фактический тип является либо неограниченным типом с дискриминантами, либо неограниченным массивом; в противном случае возвращает значение True. Значение этого атрибута относится к предопределенному типу Boolean.