Duplicate definition for type T¶
This is very similar to Duplicate definition for x, but for type definitions instead of variables. For example,
Disco> type H = N * N
Disco> type H = Z + Q
Error: duplicate definition for type H.
This is very similar to Duplicate definition for x, but for type definitions instead of variables. For example,
Disco> type H = N * N
Disco> type H = Z + Q
Error: duplicate definition for type H.