验
公开化「爻」而「有」文言：形异、载共、物逸皆拒；常私混处须检，公域勿借私投。汉语：验证私有布局证明边界，特别是共享载荷、非相邻常量构造、同标签公私两种表示，以及普通字段仍使用公开投影。
模块 / 33
测试/私有构造证明。测试。豫
测试/私有构造证明。测试。豫
16公开名称
造函
公开化「字符串」而化（「列」于「正则指令」）而化「正则原子」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
载
公开化「正则原子」而「正则指令」暂无说明。
封
公开化「整数」而化「整数」而「正则指令」暂无说明。
普通造
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
常量造
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
普通形
公开（（「列」于（「整数」合（「列」于「整数」）））合（「列」于「整数」）合（「列」于「整数」））暂无说明。
常量形
公开（（「列」于（「整数」合（「列」于「整数」）））合（「列」于「整数」）合（「列」于「整数」））暂无说明。
共享载
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
迟封
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
取载
公开「正则指令」暂无说明。
取域
公开化「整数」而「正则指令」暂无说明。
借读
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
验消费
公开化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而「爻」暂无说明。
普通域
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
异形
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。