造
公开化（「列」于「正则指令」）而化「正则原子」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）文言：整、爻、元、址各有位，不得相冒。汉语：覆盖整数、布尔、单元与数组表示的传播、调用、分支以及非法混用，验证失败时没有证书。
模块 / 25
测试/栈表示证明。测试。豫
测试/栈表示证明。测试。豫
17公开名称
术
公开化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」暂无说明。
查
公开化「字符串」而（（「列」于「整数」）合「整数」）暂无说明。
验
公开化「字符串」而化（（「列」于「整数」）合「整数」）而化「整数」而化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化「爻」而「有」暂无说明。
组签
公开（（「列」于「整数」）合「整数」）暂无说明。
写签
公开（（「列」于「整数」）合「整数」）暂无说明。
根签
公开（（「列」于「整数」）合「整数」）暂无说明。
负一
公开「整数」暂无说明。
数组
公开「正则原子」暂无说明。
索引
公开「正则原子」暂无说明。
读取
公开「正则指令」暂无说明。
写入
公开「正则指令」暂无说明。
比较
公开「正则指令」暂无说明。
分支
公开化「正则原子」而化「正则原子」而「正则指令」暂无说明。
调用
公开化「字符串」而化（「列」于「正则原子」）而「正则指令」暂无说明。
创建
公开「正则指令」暂无说明。
根体
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。