Next: Aspect Refined_Depends, Previous: Aspect Predicate, Up: Implementation Defined Aspects
This boolean aspect is equivalent to pragma Pure_Function.