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