Wiki
Clone wikiinf225public / glossary / Structural type equivalence
[Alphabetical Index | Tag Index]
Structural type equivalence* (also Structural type system)
A system where two types are equal or compatible if they have the same structure; e.g., have the same fields with the same types in the same order. C.f. Nominative type equivalence.
Updated