We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 7b5998a + c0183ae commit af77f97Copy full SHA for af77f97
spec/03-types.md
@@ -167,8 +167,8 @@ SimpleType ::= SimpleType TypeArgs
167
TypeArgs ::= ‘[’ Types ‘]’
168
```
169
170
-A parameterized type $T[ U_1 , \ldots , U_n ]$ consists of a type
171
-designator $T$ and type parameters $U_1 , \ldots , U_n$ where
+A parameterized type $T[ T_1 , \ldots , T_n ]$ consists of a type
+designator $T$ and type parameters $T_1 , \ldots , T_n$ where
172
$n \geq 1$. $T$ must refer to a type constructor which takes $n$ type
173
parameters $a_1 , \ldots , a_n$.
174
0 commit comments