等同类型定义
对于导入来说，只要满足以下全部条件，导入文件中的类型定义便可视为等同于本地类型定义：
• 它具有与本地类型相同的名称，或它的名称映射到一个本地名称，并且还会映射到相同父类型，除非此类型为根级类型。类型的名称不可更改。
• 以下属性的值相同：instantiable、userAttributeable 和 deleted。
• 两种类型具有相同数量的属性。
• 两种类型具有相同的全局属性集。如果两个全局属性具有相同的可重用属性定义并且值相同，则会将它们视为同一属性。
• 两种类型的属性约束集相同，且子类型本身的约束集也相同。
如果在系统中找到符合以上条件的类型，则在作为导入目标的上下文中该类型一定可见。