元类型式
公开「表达式」暂无说明。
模块 / 52
软件/豫言/编译器核心/编译步骤/类型检查/类型类型检查。豫
软件/豫言/编译器核心/编译步骤/类型检查/类型类型检查。豫
6公开名称
类型式是元类型
公开化（「列」于「条目」）而化「表达式」而「爻」暂无说明。
确认类型构造器
公开化「表达式」而化「表达式」而（「表达式」合「表达式」）暂无说明。
解析类型构造器头
公开化（「列」于「条目」）而化「表达式」而（「表达式」合「表达式」）暂无说明。
进行类型构造器应用检查
公开化（「列」于「条目」）而化「表达式」而「表达式」暂无说明。
进行类型类型检查
公开化（「列」于「条目」）而化「表达式」而「表达式」|- A : Type