展开构造器节点
公开化「表达式」而化化（「列」于「表达式」）而「表达式」而化（「列」于「字符串」）而「表达式」暂无说明。
模块 / 71
编译步骤/类型标注擦除/模式匹配转换处理。豫
编译步骤/类型标注擦除/模式匹配转换处理。豫
4公开名称
转换模式匹配模式
公开化（「列」于「条目」）而化「表达式」而「表达式」本函数调用前模式已经被顶部归一，所以不应该存在自由变量
模式匹配转换
公开化（「列」于「条目」）而化「表达式」而「表达式」暂无说明。
模式匹配转换顶层
公开化「表达式」而「表达式」暂无说明。