3 Validation

• 3.1 Conventions
  • 3.1.1 Contexts
  • 3.1.2 Prose Notation
  • 3.1.3 Formal Notation
• 3.2 Types
  • 3.2.1 Limits
  • 3.2.2 Block Types
  • 3.2.3 Function Types
  • 3.2.4 Table Types
  • 3.2.5 Memory Types
  • 3.2.6 Global Types
  • 3.2.7 External Types
  • 3.2.8 Import Subtyping
• 3.3 Instructions
  • 3.3.1 Numeric Instructions
  • 3.3.2 Reference Instructions
  • 3.3.3 Vector Instructions
  • 3.3.4 Parametric Instructions
  • 3.3.5 Variable Instructions
  • 3.3.6 Table Instructions
  • 3.3.7 Memory Instructions
  • 3.3.8 Control Instructions
  • 3.3.9 Instruction Sequences
  • 3.3.10 Expressions
• 3.4 Modules
  • 3.4.1 Functions
  • 3.4.2 Tables
  • 3.4.3 Memories
  • 3.4.4 Globals
  • 3.4.5 Element Segments
  • 3.4.6 Data Segments
  • 3.4.7 Start Function
  • 3.4.8 Exports
  • 3.4.9 Imports
  • 3.4.10 Modules