验证

• 约定
  • 上下文
  • 散文表示法
  • 形式表示法
• 类型
  • 限制
  • 块类型
  • 函数类型
  • 表类型
  • 内存类型
  • 全局类型
  • 外部类型
  • 导入子类型化
• 指令
  • 数值指令
  • 引用指令
  • 向量指令
  • 参数化指令
  • 变量指令
  • 表指令
  • 内存指令
  • 控制指令
  • 指令序列
  • 表达式
• 模块
  • 函数
  • 表
  • 内存
  • 全局变量
  • 元素段
  • 数据段
  • 启动函数
  • 导出
  • 导入
  • 模块