Next: Aspect Ghost_Predicate, Previous: Aspect Favor_Top_Level, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Ghost.