Ada Programming/Attributes/'Initialized

Description
For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.