Next: Aspect Annotate, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Abstract_State.