 | 11.4 Class expressions |
| 11 PVS translator |
| 11.6 Type expressions |
|
|
| ||||||
| 11.5 Object expressions | ||||||||
An object expression which is a name is accepted as an actual scheme parameter or as a qualification.
A fitting object expression is accepted as an actual scheme parameter.
Neither element object expressions nor array object expressions are accepted.
| 11.5 Object expressions | ||||||||
|
|
| ||||||