函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）文言：新数组取其一位，以验公门与后备。汉语：算法、私有体和公开包装均由 ANF 自动生成；GC 参考体与测试导出手写。保留一个未使用环境参数，以验证其类型不影响快路径。
模块 / 15
测试/栈入口生成。测试。豫
测试/栈入口生成。测试。豫
9公开名称
签
公开（（「列」于「整数」）合「整数」）暂无说明。
查
公开化「字符串」而（（「列」于「整数」）合「整数」）暂无说明。
名
公开化「字符串」而「字符串」暂无说明。
必有
公开化（「或可有」于「回收项串」）而「回收项串」暂无说明。
元函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
元签
公开（（「列」于「整数」）合「整数」）暂无说明。
元名
公开化「字符串」而「字符串」暂无说明。
四参型
公开「回收模块项」文言：公门以名引 $t4，故其型项与所生之项同书，打印器乃得书参之名；诸型先后不改。汉语：公开入口按名字引用 $t4，因此把 $t4 类型项与生成的项放进同一个项串打印，打印器才能写出带名参数；显式类型的先后顺序不变。