# Functions
VerifyModule verifies the given module according to WebAssembly verification specs.
# Variables
ErrStackUnderflow is returned if an instruction consumes a value, but there are no values on the stack.
# Structs
Error wraps validation errors with information about where the error was encountered.
InvalidImmediateError is returned if the immediate value provided is invalid for the given instruction.
InvalidTableIndexError is returned if a table is referenced with an out-of-bounds index.
InvalidTypeError is returned if there is a mismatch between the type(s) an operator or function accepts, and the value provided.
# Type aliases
InvalidTypeError is returned if a branch is encountered which points to a block that does not exist.
InvalidLocalIndexError is returned if a local variable index is referenced which does not exist.
NoSectionError is returned if a section does not exist.
UnbalancedStackErr is returned if there are too many items on the stack than is valid for the current block or function.
UnmatchedOpError is returned if a block does not have a corresponding end instruction, or if an else instruction is encountered outside of an if block.