豫豫言文档API ATLAS
入口软件/豫言/编译器核心/临时发布文档索引。豫
165 模块2178 名称
← 全部模块

模块 / 27

软件/豫言/编译器核心/编译步骤/类型标注擦除/模式匹配转换处理。豫

软件/豫言/编译器核心/编译步骤/类型标注擦除/模式匹配转换处理。豫

4公开名称

展开构造器节点

公开
化「表达式」而化化(「列」于「表达式」)而「表达式」而化(「列」于「字符串」)而「表达式」

暂无说明。

转换模式匹配模式

公开
化(「列」于「条目」)而化「表达式」而「表达式」

本函数调用前模式已经被顶部归一,所以不应该存在自由变量

模式匹配转换

公开
化(「列」于「条目」)而化「表达式」而「表达式」

暂无说明。

模式匹配转换顶层

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

暂无说明。