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 Vector 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