Next: Aspect Relaxed_Initialization, Previous: Aspect Refined_Post, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Refined_State.