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