17 lines
249 B
Text
17 lines
249 B
Text
|
|
||
|
|
Wildcard:
|
||
|
|
Identifier ":" TypeExpr ("*"?)
|
||
|
|
TypeExpr:
|
||
|
|
BinaryExpr
|
||
|
|
|
||
|
|
BinaryExpr:
|
||
|
|
UnaryExpr { Operator PrimitiveExpr }*
|
||
|
|
|
||
|
|
UnaryExpr:
|
||
|
|
{UnaryOperator}? PrimitiveExpr
|
||
|
|
|
||
|
|
PrimitiveExpr:
|
||
|
|
GroupExpr | Identifier
|
||
|
|
|
||
|
|
GroupExpr:
|
||
|
|
"(" TypeExpr ")"
|