造函
公开化（「列」于「正则指令」）而化「正则原子」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）文言：先验无递之返，再验递中守约。汉语：入口前提、零次递归、递归实参换类、混合分支及全宽常量均需验证；未知结果不能冒充整数。
模块 / 13
测试/整数返回证明。测试。豫
测试/整数返回证明。测试。豫
9公开名称
验
公开化「爻」而「有」暂无说明。
前提
公开（「列」于「整数」）暂无说明。
直返
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
递令
公开化「正则原子」而「正则指令」暂无说明。
递函
公开化「正则原子」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
混返
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
未知返
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
短参
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。