进行对象类型检查引用
公开（「引用类」于化（「列」于「条目」）而化「表达式」而化「表达式」而「表达式」）暂无说明。
模块 / 81
编译步骤/类型检查/类型检查基础。豫
编译步骤/类型检查/类型检查基础。豫
9公开名称
进行对象类型合成引用
公开（「引用类」于化（「列」于「条目」）而化「表达式」而（「表达式」合「表达式」））暂无说明。
进行类型类型检查引用
公开（「引用类」于化（「列」于「条目」）而化「表达式」而「表达式」）暂无说明。
检查模式匹配分支引用
公开（「引用类」于化（「列」于「条目」）而化「表达式」而化「表达式」而化「表达式」而「表达式」）暂无说明。
模式匹配分支类型合成引用
公开（「引用类」于化（「列」于「条目」）而化「表达式」而化「表达式」而（「表达式」合「表达式」））暂无说明。
命名环境查找文件定义
公开化（「列」于「条目」）而化「字符串」而化「字符串」而（「或可有」于（「表达式」合「表达式」））暂无说明。
文件定义引用类及物
公开化（「列」于「条目」）而化「字符串」而化「字符串」而（「表达式」合「表达式」）暂无说明。
展开透明定义引用
公开化（「列」于「条目」）而化「表达式」而「表达式」暂无说明。
解析单个名称及物
公开化（「列」于「条目」）而化「字符串」而（「或可有」于（「表达式」合「表达式」））暂无说明。