「元类型」

暂无说明。

「元类型」

暂无说明。

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

文言：正则诸号既验，诸参之约既定，逐支验其递而记可省之界。汉语：输入须为编号与作用域已验证的 SSA 函数。所列参数对应差分节点一及以后，零节点为常零；入口守卫尚由调用方负责。无界模式只授权省略宽度检查；有界模式另证严格上界及回边不变性，仍须调用方添加数组长度守卫。未知调用与复杂退出拒绝，所有自递归必须为保持入口约束的尾调用。

「元类型」

暂无说明。

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

文言：自首比较取候选，验全函而择所省多者，非以名取之。汉语：候选整数参数必须来自私有入口资格。枚举首个参数比较的两个方向，以及可选第三参数；候选守卫为0≤第二参≤第一参≤UINT32_MAX，或0≤第三参≤第二参≤第一参≤UINT32_MAX。每个候选均须通过整函数证明，不因形似循环就接受。返回守卫参数编号及操作编号，尚不生成机器代码。

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

文言：旧证唯省窄化，新证须上界恒定且索引严格在其下。汉语：有界模式还要求索引小于第一守卫参数，并证明所有回边保持该参数不变。调用方仍须检查这个上界不超过同一数组长度；原接口继续只授权省略宽度检查。

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

暂无说明。