|
|
class-type | ::= | |
| | class-body-type | |
| | [[?]label] typexpr -> class-type | |
class-body-type | ::= | object [( typexpr )] {class-field-spec} end |
| | class-path | |
| | [ typexpr {, typexpr} ] class-path | |
class-field-spec | ::= | inherit class-type |
| | val [mutable] inst-var-name : typexpr | |
| | method [private] method-name |