Next: Aspect Refined_State, Previous: Aspect Refined_Global, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Refined_Post.