---

4.32 Attribute Initialized ¶

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