化（「数组引用类」于「整数」）而化「整数」而化「整数」而「有」

暂无说明。

化（「数组引用类」于「爻」）而化「整数」而化「爻」而「有」

暂无说明。

化（「数组引用类」于（「列」于「整数」））而化「整数」而化（「列」于「整数」）而「有」

暂无说明。

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

暂无说明。

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

文言：不逸之证外，复验无宿主重入；闭合非必终。汉语：这里只证明封闭调用与无额外数组分配，不证明元素类型、逃逸、容量或终止。必须与数组用途证明组合。子调用不允许创建数组，根体只允许指定 SSA 分配点；未知调用及控制形式保守拒绝。陷阱可发生，不把闭合等同于无陷阱。

「元类型」

暂无说明。

化（（「数组引用类」于（「列」于（「字符串」合「整数」）））合（「数组引用类」于「爻」）合（「数组引用类」于「整数」））而化「字符串」而化「整数」而「爻」

暂无说明。

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

文言：先记逆边，有不闭者，逆告诸调用者，互递亦然。汉语：对合法 SSA 模块建立编号、参数数量和反向调用边。先拒绝局部非法体，再用工作列表传播；每个函数最多从可用变为不可用一次，不反复扫描所有函数体。重复函数名使全表失效。供实验栈资格层组合使用。