豫豫言文档API ATLAS
入口包说明.html
326 模块3507 名称
← 全部模块

模块 / 2

测试/创建证明。测试。豫

测试/创建证明。测试。豫

7公开名称

造例

公开
化「字符串」而化「整数」而化「整数」而(「字符串」合「爻」合(「列」于「整数」)合「正则区域」合「整数」)

文言:造者不得挟外效,标同则形同。汉语:独立检查整数载荷、递归参数、标签布局一致性及危险操作;使用SSA验证器检查夹具作用域。

验

公开
化(「字符串」合「爻」合(「列」于「整数」)合「正则区域」合「整数」)而化「爻」而「有」

暂无说明。

正例

公开
(「字符串」合「爻」合(「列」于「整数」)合「正则区域」合「整数」)

暂无说明。

形

公开
(「列」于(「整数」合(「列」于「整数」)))

暂无说明。

造折

公开
化「字符串」而化「整数」而化「整数」而(「字符串」合「爻」合(「列」于「整数」)合「正则区域」合「整数」)

文言:造受合验,诸标皆须可折。汉语:复用消费者夹具验证两侧证明组合;不能仅证明叶子而忽略内部节点。

验配

公开
化(「字符串」合「爻」合(「列」于「整数」)合「正则区域」合「整数」)而化(「字符串」合「爻」合(「列」于「整数」)合「正则区域」合「整数」)而化「爻」而「有」

暂无说明。

融合

公开
(「字符串」合「爻」合(「列」于「整数」)合「正则区域」合「整数」)

暂无说明。