Ada Programming/Attributes/'Type Class

Description
for any type or subtype yields the value of the type class for the full type of. If is a generic formal type, the value is the value for the corresponding actual subtype. The value of this attribute is of type, which has the following definition: Protected types yield the value  , which thus applies to all concurrent types. This attribute is designed to be compatible with the DEC Ada 83 attribute of the same name.