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