<< Prev | - Up - | Next >> |
<statement> ::= | |||
|
<statement> ::= | |||
|
<expression> ::= | |||
|
<expression> ::= | |||
|
<statement>, <expression> ::= | |||
| |||
where the omitted parts of the exception are implementation-dependent. |
<statement>, <expression> ::= | |||
| |||
where the omitted parts of the exception are implementation-dependent. |
<dis statement clause> ::= | |||
|
<choice statement clause>, <choice expression clause> ::= | |||
|
<cond statement clause>, <dis statement clause>, <choice statement clause> ::= | |||
| |||
if D is not a sequence of distinct variables and where {x1, ..., xn} = PV(D) and D' is D with singleton variables and escapes removed. |
<cond expression clause>, <choice expression clause> ::= | |||
| |||
if D is not a sequence of distinct variables and where {x1, ..., xn} = PV(D) and D' is D with singleton variables and escapes removed. |
Constructive disjunction is currently not specified. See Section 5.2 of ``System Modules'' for some information about constructive disjunction.
<< Prev | - Up - | Next >> |