Next: Aspect Depends, Previous: Aspect Abstract_State, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Contract_Cases, the sequence of clauses being enclosed in parentheses so that syntactically it is an aggregate.
Contract_Cases