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

模块 / 130

编译步骤/代码生成/网页汇编虚组消费。豫

编译步骤/代码生成/网页汇编虚组消费。豫

1公开名称

验虚组只读

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

文言:唯读原组,递而不易,亦不外传。汉语:在入口只有指定参数指向待虚拟数组、其他参数不含其别名的前提下,证明消费者只读且不外传。数组元素须已由初始化证明确定为整数。这里只接受整数原语、自递归和条件分支;不据此省略读取的边界与类型检查。