411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Initialized
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.