「元类型」

文言：整参之约在入口，载荷之类逐令证。汉语：输入须为已验证SSA；结论以所有参数都是整数为前提，所有快入口必须检查，否则走原路径。独立重建整数、布尔、递归对象、载荷种类，不将普通公开值视作整数。仅允许纯整数运算、静态自递归和构造；不是终止或唯一所有权证明。

化「整数」而化（「列」于（「整数」合（「列」于「整数」）））而（「或可有」于（「列」于「整数」））

暂无说明。

化（「列」于「整数」）而化（「列」于「整数」）而「爻」

暂无说明。

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

暂无说明。

「元类型」

暂无说明。

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

暂无说明。