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

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