「元类型」

文言：循数递减，各位一写，值无外求，乃可存其式而省其实。汉语：以下是带前提的初始化证明：调用者仍须证明初始计数等于数组长度，且在 0..2^32-1；函数须已经通过局部编号和作用域验证。这里只接受两个参数、逐次写入计数减一位置的完整递减循环，不据此直接删除分配。

化「整数」而「虚组值式」

暂无说明。

「虚组值式」

暂无说明。

化「虚组值式」而化「虚组值式」而「虚组值式」

暂无说明。

化「虚组值式」而化「虚组值式」而「虚组值式」

暂无说明。

化「虚组值式」而化「虚组值式」而「虚组值式」

暂无说明。

「元类型」

暂无说明。

「元类型」

暂无说明。

化「虚组值式」而化「整数」而「整数」

暂无说明。

化（「数组引用类」于（「或可有」于（「虚组值式」合「整数」）））而化「正则原子」而（「或可有」于（「虚组值式」合「整数」））

暂无说明。

化「字符串」而化（「或可有」于（「虚组值式」合「整数」））而化（「或可有」于（「虚组值式」合「整数」））而（「或可有」于（「虚组值式」合「整数」））

暂无说明。

化（「或可有」于（「虚组值式」合「整数」））而「爻」

暂无说明。

化「整数」而化「正则原子」而「爻」

暂无说明。

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

暂无说明。

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

暂无说明。