化（「数组引用类」于「爻」）而化「正则原子」而「爻」

文言：私门其余诸参皆整，读果亦整，递参不可换类。汉语：只读证明之外，再证明所有非数组参数按整数入口进入后，各运算、分支结果与递归实参均能维持整数表示。数组参数仍单独处理，不能作为整数参与运算。这个证明不允许省略原条件的 i31 限制。

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

暂无说明。