Ada Programming/Attributes/'Unconstrained Array

Description
The  attribute can be used with a prefix that denotes any type or subtype. It is a static attribute that yields  if the prefix designates an unconstrained array, and   otherwise. In a generic instance, the result is still static, and yields the result of applying this test to the generic actual.