Next: , Previous: , Up: Implementation Defined Aspects   [Contents][Index]


3.42 Aspect Relaxed_Initialization

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