「元类型」

文言：底层后端所读之简树，无类型，唯三十二位整数。汉语：底层模式（包描述声明「编译模式」为『底层』的包）编译时，先把闭包前优化形式转成这种简树，再做提升、循环与分派整理，最后生成 Wasm 指令。所有值都是三十二位整数；单元值取零。局部变量名全局唯一，故变换不必担心捕获。

化「整数」而「低层项」

暂无说明。

化「字符串」而「低层项」

三十二位整数常量

化「字符串」而「低层项」

局部变量、参数或可变格

化「字符串」而化「字符串」而「低层项」

字符串字面，只许作静态串之实参

化「字符串」而化（「列」于「低层项」）而「低层项」

顶层值定义的引用：文件、名

化「字符串」而化（「列」于「低层项」）而「低层项」

外部调用：原语、声明或导入

化「字符串」而化（「列」于「低层项」）而「低层项」

全局函数直接调用

化「低层项」而化「低层项」而化「低层项」而「低层项」

局部函数调用，提升之后不复存在

化「字符串」而化「低层项」而化「低层项」而「低层项」

暂无说明。

化「字符串」而化（「列」于「字符串」）而化「低层项」而化「低层项」而「低层项」

名、值、体

化「字符串」而化（「列」于「字符串」）而化（「列」于「低层项」）而化「低层项」而「低层项」

局部函数定义：名、形参、函数体、其后之式

化「字符串」而化（「列」于「低层项」）而「低层项」

内联循环：标号、形参、初值、循环体

化「低层项」而化（「列」于（「整数」合「低层项」））而化「低层项」而「低层项」

回到循环起点：标号、新的形参值

「元类型」

分派：被分派之式、各情形、其余

化「字符串」而化（「列」于「字符串」）而化「低层项」而「低层函数」

暂无说明。

化「低层项」而（「列」于「低层项」）

全局名、形参、函数体 文言：取直属子式，绑定之名不在其中。汉语：按固定顺序给出直接子式，供通用遍历使用；`低层重建` 依同一顺序还原。

化「整数」而化（「列」于「低层项」）而（「列」于「低层项」）

暂无说明。

化「整数」而化（「列」于「低层项」）而（「列」于「低层项」）

暂无说明。

化「低层项」而化（「列」于「低层项」）而「低层项」

暂无说明。

化化「低层项」而「低层项」而化「低层项」而「低层项」

暂无说明。

化（「列」于「字符串」）而（「列」于「字符串」）

文言：去同名之重，存其先者。汉语：字符串列表去重，保持首次出现的顺序。

化（「列」于「字符串」）而化「字符串」而「爻」

暂无说明。

化「低层项」而（「列」于「字符串」）

文言：局部名皆唯一，故以引用减绑定，即得自由者。汉语：`低层引用们` 收集所有 `项局` 的名；`低层绑定们` 收集所有绑定名（令、局函形参与环形参，不含局函之名）；两者之差即自由变量。

化「低层项」而（「列」于「字符串」）

暂无说明。

化「低层项」而（「列」于「字符串」）

暂无说明。

化「字符串」而化「低层项」而「整数」

文言：数局部函数之被呼，即项局调中名同者。汉语：统计 `项局调` 中函数名等于给定名的个数。

化「字符串」而化「低层项」而「整数」

文言：项中有名者几，含调用与作值。汉语：统计变量名在 `项局` 中的出现次数。

化「低层项」而「整数」

文言：项之大小，以点数计。汉语：统计简树结点数，用于内联决策。

化「低层项」而「字符串」

文言：简树之文，供诊断与测试。汉语：把简树写成可读文本。