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