10.2 Dependence on structural equivalence

The structural equivalence computation must be carried out after all Type.Type attributes have been set and linked as described in the previous section. All of the TypeDenotation.EqClass and TypeDenotation.ComponentTypes attribute values must also be set. After the structural equivalence computation is complete, some definition table keys that were thought to represent types have had their properties changed so that they represent type identifiers (see Structural Type Equivalence).

For compatibility with the Typing module, the Typequ module establishes RootType.GotType as the post-condition for structural equivalence.