Category:Typing/Compatibility/Nominative: Difference between revisions

Content added Content deleted
No edit summary
(Added some explanatory text)
Line 1: Line 1:
{{feature|Typing/Compatibility}}
{{feature|Typing/Compatibility}}
In this typing scheme, a type has a name and two “type instances” with the same structure but different names are different types.