客体验栈取值函数
公开化「整数」而（「整数」合「整数」合（「列」于「网页指令」））文言：栈各守块底，不可达仅免空栈之取；宽数别型，比较二宽入一窄出，未备之型仍拒。汉语：验证整数与引用的操作数类型及结构控制栈；i64 使用独立标签，十种宽整数比较消耗两个 i64、产生一个 i32，尚未实现的类型仍拒绝。
模块 / 272
网页汇编核心/客体栈验证。豫
网页汇编核心/客体栈验证。豫
7公开名称
客体验栈添值函数
公开化「整数」而（「整数」合「整数」合（「列」于「网页指令」））暂无说明。
客体验栈断流函数
公开化「整数」而（「整数」合「整数」合（「列」于「网页指令」））暂无说明。
客体验栈标签函数
公开化「整数」而（「整数」合「整数」合（「列」于「网页指令」））暂无说明。
客体数组长度验栈指令
公开化「整数」而化「整数」而（「列」于「网页指令」）暂无说明。
客体函数验栈函数
公开化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而（「整数」合「整数」合（「列」于「网页指令」））暂无说明。
客体模块验栈函数
公开化「整数」而化「整数」而化「整数」而化「整数」而（「整数」合「整数」合（「列」于「网页指令」））暂无说明。