化「爻」而「有」

文言：移名换号仍授证，改步失约则拒。汉语：直接构造合法 SSA，检查分析不依赖函数名与局部编号，并覆盖不成立的归纳假设。

（「整数」合（「数组引用类」于「整数」）合（「引用类」于「爻」））

暂无说明。

「元类型」

暂无说明。

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

暂无说明。

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

暂无说明。

化（「字符串」合「整数」合「整数」合「整数」合「整数」）而「有」

暂无说明。

化（「字符串」合「整数」合「整数」合「整数」合「整数」）而「有」

暂无说明。

化「整数」而「有」

暂无说明。

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

暂无说明。

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

暂无说明。

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

文言：窄而未必在界；上界改则新证拒。汉语：区分 wasm32 宽度与数组长度授权，并检查新模式要求上界参数在回边保持不变。

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

暂无说明。

化「正则区域」而「正则区域」

暂无说明。

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

暂无说明。