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


3.31 Aspect Refined_Post

This aspect is equivalent to pragma Refined_Post.