Ada Programming/Attributes/'Preelaborate Initialization

Description
Returns whether the type of S has preelaborable initialization.

For a nonformal composite subtype S declared within the visible part of a package or a generic package, or a generic formal private subtype or formal derived subtype:

This attribute is of Boolean type, and its value reflects whether the type of S has preelaborable initialization.