「元类型」

暂无说明。

「元类型」

暂无说明。

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

文言：守界不等于必进；诸续皆进一且上界不移，乃可并步。汉语：此证明必须与已验证的循环范围守卫组合使用，前提为两个建模参数均是整数且0≤扫描≤上界≤UINT32_MAX。这里只证明循环体正常结束时恰好前进一步，异常仍在原位置发生。输入须先通过SSA编号与作用域验证。未知调用、提前正常返回与非尾调用均拒绝。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化「整数」而化「整数」而（「或可有」于（「整数」合「正则区域」合「正则原子」））

文言：首唯等比，等则止，不等则续。汉语：首批要求根区域恰为比较与尾部条件两步，真分支为空且直接产出；描述符保留比较局部编号，生成器必须在单步中置假、退出时置真，不能丢失被其他表达式引用的原比较值。