Ada Programming/Attributes/'Preelaborable Initialization

Description
Returns whether the type of S has preelaborable initialization.