「元类型」

文言：知造者之形，乃析受者之折；此证有前提，非泛称纯。汉语：输入须为已验证SSA。给定一个已知构造标签与字段形状，一代表创建者另行证明的整数，二代表递归子对象。只分析该标签实际选择的分支，抽取整数折叠表达式；供融合代码生成用，不把现有私有布局中的普通字段自动视作整数。

化「整数」而「折叠式」

暂无说明。

化「整数」而「折叠式」

暂无说明。

化「整数」而「折叠式」

暂无说明。

化「字符串」而化「折叠式」而化「折叠式」而「折叠式」

暂无说明。

「元类型」

暂无说明。

「折叠值」

暂无说明。

「折叠值」

暂无说明。

「折叠值」

暂无说明。

化「整数」而「折叠值」

暂无说明。

化「折叠式」而「折叠值」

暂无说明。

化「整数」而「折叠值」

暂无说明。

化「爻」而「折叠值」

暂无说明。

化「折叠值」而（「或可有」于「折叠式」）

暂无说明。

化「整数」而化「折叠式」而「整数」

暂无说明。

化「折叠式」而「整数」

文言：式虽共享，不令展开无穷。汉语：展开表达式最多128个节点；每次建算式即检查，避免共享DAG在用途统计中指数展开。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化「整数」而化（「列」于「整数」）而（「或可有」于「折叠式」）

暂无说明。

化「折叠式」而「字符串」

暂无说明。