豫豫言文档API ATLAS
入口软件/豫言/豫言编译器/入口。豫
169 模块2223 名称
← 全部模块

模块 / 91

软件/豫言/编译器核心/编译步骤/类型检查/模式合一。豫

软件/豫言/编译器核心/编译步骤/类型检查/模式合一。豫

2公开名称

尝试匹配合一

公开
化(「串典」于(「或可有」于「表达式」))而化「表达式」而化「表达式」而(「串典」于(「或可有」于「表达式」))

暂无说明。

断言类型相等

公开
化「表达式」而化「表达式」而「有」

暂无说明。