Next: Aspect Contract_Cases, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Abstract_State.
Abstract_State