Next: , Previous: , Up: Implementation Defined Aspects   [Contents][Index]


3.38 Aspect Refined_Depends

This aspect is equivalent to pragma Refined_Depends.