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