Next: Aspect Refined_Global, Previous: Aspect Pure_Function, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Refined_Depends.