「元类型」

文言：每步一写，索进一，余参不移，值为索之一次式，乃可并写。汉语：输入须通过 SSA、表示及封闭调用图验证。这里只证明单数组、单存储、无读取或其他调用的正向填充；退出必须为单元，扫描每步加一，其他参数保持原样。值表达式限加减乘且对扫描为常系数一次式，系数限制在-16..16，树大小不超过64。调用者仍须检查0≤扫描≤上界≤数组长度，不能据此省略根初始化。

化「正则原子」而「栈填表达」

暂无说明。

化「字符串」而化「栈填表达」而化「栈填表达」而「栈填表达」

暂无说明。

「元类型」

暂无说明。

「元类型」

暂无说明。

化（「数组引用类」于（「或可有」于（「栈填表达」合「整数」合「整数」）））而化「正则原子」而（「或可有」于（「栈填表达」合「整数」合「整数」））

暂无说明。

化「栈填表达」而（「或可有」于「整数」）

暂无说明。

化「字符串」而化（「或可有」于（「栈填表达」合「整数」合「整数」））而化（「或可有」于（「栈填表达」合「整数」合「整数」））而（「或可有」于（「栈填表达」合「整数」合「整数」））

暂无说明。

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

暂无说明。

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

暂无说明。