「元类型」

文言：签先候而体后验，诸可达者皆合，乃许生包。汉语：输入签名只是候选，不能自称证明。对所有可达函数验证 SSA、表示和实际函数体，未知调用、宿主原语、间接调用、子数组分配、引用存储及数组返回均拒绝。允许已验证的互递归，不证明终止。任何边返回根函数都拒绝，以免重用尚存活的根帧。所有函数通过前不输出代码。

化（「列」于（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」））而化化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而（（「列」于「整数」）合「整数」）而（「或可有」于（（「数组引用类」于（「列」于（「字符串」合「整数」）））合（「数组引用类」于（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」））合（「数组引用类」于（（「列」于「整数」）合「整数」））合「整数」））

暂无说明。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而「整数」

暂无说明。

化（（「数组引用类」于（「列」于（「字符串」合「整数」）））合（「数组引用类」于（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」））合（「数组引用类」于（（「列」于「整数」）合「整数」））合「整数」）而化「字符串」而（「或可有」于（「列」于「整数」））

暂无说明。

化（（「数组引用类」于（「列」于（「字符串」合「整数」）））合（「数组引用类」于（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」））合（「数组引用类」于（（「列」于「整数」）合「整数」））合「整数」）而化「字符串」而化「字符串」而化「字符串」而化「字符串」而（「或可有」于「回收项串」）

文言：包以回收之项串书之：先公门，次诸私体，依调用图之序。汉语：函数包构造成回收项串：先是公开入口，再按调用图顺序排列各私有栈函数。