Skip to content

Commit c0183ae

Browse files
committed
1 parent 841389b commit c0183ae

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

spec/03-types.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -167,8 +167,8 @@ SimpleType ::= SimpleType TypeArgs
167167
TypeArgs ::= ‘[’ Types ‘]’
168168
```
169169

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
170+
A parameterized type $T[ T_1 , \ldots , T_n ]$ consists of a type
171+
designator $T$ and type parameters $T_1 , \ldots , T_n$ where
172172
$n \geq 1$. $T$ must refer to a type constructor which takes $n$ type
173173
parameters $a_1 , \ldots , a_n$.
174174

0 commit comments

Comments
 (0)