验
公开化「爻」而「有」文言：守界未足，续行须有定步。汉语：测试恒定前进、改名重编号及不成立的继续路径，不把范围不变当作终止性证明。
模块 / 45
测试/进步证明。测试。豫
测试/进步证明。测试。豫
6公开名称
构选
公开「元类型」暂无说明。
造函
公开化（「字符串」合「整数」合「整数」合「整数」合「整数」）而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
检查
公开化（「字符串」合「整数」合「整数」合「整数」合「整数」）而化「爻」而「有」暂无说明。
分支函
公开化「整数」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）文言：两支各续亦可，独一支早返则不可。汉语：分支外计算新参数，两分支分别使用独立SSA调用编号；拒绝一支早返、不前进、改上界或外调。
复算函
公开化「整数」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。