Next: , Previous: Aspect Refined_Post, Up: Implementation Defined Aspects


3.37 Aspect Refined_State

This aspect is equivalent to pragma Refined_State.