Validation

• Conventions
  • Types
  • Defined Types
  • Rolling and Unrolling
  • Instruction Types
  • Local Types
  • Contexts
  • Prose Notation
  • Formal Notation
• Types
  • Number Types
  • Vector Types
  • Type Uses
  • Heap Types
  • Reference Types
  • Value Types
  • Result Types
  • Block Types
  • Instruction Types
  • Composite Types
  • Recursive Types
  • Limits
  • Tag Types
  • Global Types
  • Memory Types
  • Table Types
  • External Types
• Matching
  • Number Types
  • Vector Types
  • Heap Types
  • Reference Types
  • Value Types
  • Result Types
  • Instruction Types
  • Composite Types
  • Field Types
  • Defined Types
  • Limits
  • Tag Types
  • Global Types
  • Memory Types
  • Table Types
  • External Types
• Instructions
  • Parametric Instructions
  • Numeric Instructions
  • Reference Instructions
  • Aggregate Reference Instructions
  • Scalar Reference Instructions
  • External Reference Instructions
  • Vector Instructions
  • Variable Instructions
  • Table Instructions
  • Memory Instructions
  • Control Instructions
  • Instruction Sequences
  • Expressions
• Modules
  • Types
  • Tags
  • Globals
  • Memories
  • Tables
  • Functions
  • Locals
  • Data Segments
  • Element Segments
  • Start Function
  • Imports
  • Exports
  • Modules