accesses-clause-seq ::= accesses-clause [ accesses-clause ] ... accesses-clause ::=
An accesses-clause says what objects may be read
by a correct implementation of the function being specified.
By default an omitted accesses-clause is equivalent to
accesses everything;, which imposes no constraints on
[[[Detailed semantics to be written.]]]
Go to the first, previous, next, last section, table of contents.