兼容旧内建常量重定义
公开化「定义透明性」而化（「或可有」于「字符串」）而（「或可有」于（「字符串」合「表达式」））暂无说明。
模块 / 48
软件/豫言/编译器核心/编译步骤/类型检查/文件结构检查。豫
软件/豫言/编译器核心/编译步骤/类型检查/文件结构检查。豫
9公开名称
文件结构检查定义列表达式态射
公开化化「表达式」而「表达式」而化（「列」于（「字符串」合「爻」合「表达式」））而（「列」于（「字符串」合「爻」合「表达式」））暂无说明。
检查文件定义列无自由变量
公开化「字符串」而化（「列」于（「字符串」合「爻」合「表达式」））而「有」暂无说明。
添加已检查文件定义
公开化（「列」于「条目」）而化「字符串」而化「字符串」而化「整数」而化「表达式」而（「列」于「条目」）暂无说明。
构造器所属类型头
公开化「表达式」而「表达式」暂无说明。
构造器所属类型头相同
公开化「表达式」而化「表达式」而「爻」暂无说明。
下个类型内构造器序数
公开化「字符串」而化（「列」于「条目」）而化「表达式」而「整数」暂无说明。
进行文件定义列检查
公开化「字符串」而化（「列」于「条目」）而化（「列」于（「字符串」合「爻」合「表达式」））而（（「列」于（「字符串」合「爻」合「表达式」））合（「列」于（「字符串」合「爻」合「表达式」）））暂无说明。
进行文件结构检查顶层
公开化「字符串」而化（「列」于（「字符串」合「爻」合「表达式」））而（（「列」于（「字符串」合「爻」合「表达式」））合（「列」于（「字符串」合「爻」合「表达式」）））暂无说明。