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