检查模式类型并更新环境
公开化（「列」于「条目」）而化「表达式」而化「表达式」而（「表达式」合（「列」于「条目」））暂无说明。
模块 / 186
编译步骤/类型检查/模式匹配类型检查。豫
编译步骤/类型检查/模式匹配类型检查。豫
3公开名称
检查模式匹配分支
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化「表达式」而「表达式」暂无说明。
模式匹配分支类型合成
公开化（「列」于「条目」）而化「表达式」而化「表达式」而（「表达式」合「表达式」）暂无说明。
包说明.html模块 / 186
编译步骤/类型检查/模式匹配类型检查。豫
化（「列」于「条目」）而化「表达式」而化「表达式」而（「表达式」合（「列」于「条目」））暂无说明。
化（「列」于「条目」）而化「表达式」而化「表达式」而化「表达式」而「表达式」暂无说明。
化（「列」于「条目」）而化「表达式」而化「表达式」而（「表达式」合「表达式」）暂无说明。