匹配合一上下文
公开「元类型」暂无说明。
模块 / 58
软件/豫言/编译器核心/编译步骤/类型检查/模式合一结构比较。豫
软件/豫言/编译器核心/编译步骤/类型检查/模式合一结构比较。豫
8公开名称
匹配合一上下文添加变量
公开化（「串典」于（「或可有」于「表达式」））而化「字符串」而（「串典」于（「或可有」于「表达式」））可无表示未解，可有表示已解；键不存在表示不是待求变量
匹配合一上下文未解名
公开化（「串典」于（「或可有」于「表达式」））而（「列」于「字符串」）暂无说明。
匹配合一上下文表示
公开化（「串典」于（「或可有」于「表达式」））而「字符串」暂无说明。
比较左自由变量
公开化（「引用类」于（「串典」于（「或可有」于「表达式」）））而化「字符串」而化「表达式」而（「或可有」于（「表达式」合「表达式」））暂无说明。
结构比较携上下文引用
公开化（「引用类」于（「串典」于（「或可有」于「表达式」）））而化「表达式」而化「表达式」而「有」暂无说明。
结构比较携上下文
公开化（「串典」于（「或可有」于「表达式」））而化「表达式」而化「表达式」而（「串典」于（「或可有」于「表达式」））暂无说明。
结构比较
公开化「表达式」而化「表达式」而「有」暂无说明。