Validation

• Conventions
  • Contexts
  • Prose Notation
  • Formal Notation
• Types
  • Limits
  • Block Types
  • Function Types
  • Table Types
  • Memory Types
  • Global Types
  • External Types
  • Import Subtyping
• Instructions
  • Numeric Instructions
  • Reference Instructions
  • Parametric Instructions
  • Variable Instructions
  • Table Instructions
  • Memory Instructions
  • Control Instructions
  • Instruction Sequences
  • Expressions
• Modules
  • Functions
  • Tables
  • Memories
  • Globals
  • Element Segments
  • Data Segments
  • Start Function
  • Exports
  • Imports
  • Modules