「元类型」

文言：入局部容器非即外逸；容器既逸，其所达亦逸。汉语：输入须通过统一SSA与作用域验证。本分析按分配位置和字段建立流不敏感的指向图，处理元组、标签、数组、字段更新和条件合流。外部来源用负一表示；外传对象的字段加入外部来源，防止未知调用修改后读出新别名而漏判。未知调用均视作可能保留参数，不把不留摘要误当只读证明。未支持的控制、超过256个局部值、超过64个字段或32轮未收敛均不提供证书。证书只证明不逃出当前函数，不证明线性、唯一所有权、整数载荷或栈分配资格。

「元类型」

暂无说明。

「元类型」

暂无说明。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而（「或可有」于（（「数组引用类」于「整数」）合（「数组引用类」于「爻」）合「整数」））

暂无说明。

化（「列」于（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」））而「字符串」

暂无说明。