Validation

• Conventions
  • Contexts
  • Notation
• Types
  • Primitive value types
  • Record fields
  • Variant cases
  • Definition value types
  • Value types
  • Value type well-formedness
  • Result types
  • Function types
  • Type bound
  • Instance types
  • Instance declarators
  • Extern descriptors
  • Component types
  • Component declarators
  • Definition types
  • Core instance types
  • Core module types
  • Core module declarators
  • Core definition types
• Subtyping
  • Value types
  • Result types
  • Function types
  • Type bound
  • Extern descriptors
  • Instance types
  • Component types
• Components
  • No live values in context: \(\href{../valid/types.html#auxiliary-novalues}{\vdash^\mathsf{\mkern-20mu\neg v}}\href{../valid/conventions.html#syntax-tyctx}{\Gamma}\)
  • \(\overline{\href{../syntax/components.html#syntax-definition}{\mathit{definition}}_i}\)
  • Core sort indices: \(\href{../valid/conventions.html#syntax-tyctx}{\Gamma} \vdash \href{../syntax/components.html#syntax-coresortidx}{\mathit{core{:}sortidx}} : \href{https://webassembly.github.io/spec/core/syntax/modules.html#syntax-importdesc}{\mathit{core{:}}\mathit{importdesc}}\)
  • Instantiate/export arguments: \(\href{../valid/conventions.html#syntax-tyctx}{\Gamma} \vdash \href{../syntax/components.html#syntax-sortidx}{\mathit{sortidx}} : \href{../valid/types.html#syntax-eexterndesc}{\mathit{externdesc}_e}\).
  • Start arguments \(\href{../valid/conventions.html#syntax-tyctx}{\Gamma} \vdash \overline{\href{../syntax/components.html#syntax-valueidx}{\mathit{valueidx}}_i} : \href{../syntax/types.html#syntax-resulttype}{\mathit{resulttype}}\)
  • Definitions