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


3.37 Aspect Pure_Function

This boolean aspect is equivalent to pragma Pure_Function.