|
typexpr | ::= | ' ident |
| | _ | |
| | ( typexpr ) | |
| | [[?]ident:] typexpr -> typexpr | |
| | typexpr { * typexpr }+ | |
| | typeconstr | |
| | typexpr typeconstr | |
| | ( typexpr { , typexpr } ) typeconstr | |
| | typexpr as ' ident | |
| | [ variant-type ] | |
| | < [..] > | |
| | < method-type { ; method-type } [; ..] > | |