Ada Programming/Attributes/'Constrained

Description
True if A of discriminated type denotes a constant, a value, or a constrained variable.

Yields the value True if A denotes a constant, a value, a tagged object, or a constrained variable, and False otherwise.

The value of this attribute is of the predefined type Boolean.