// WebAssembly Module Validator - Type Checking

// NOTE: This file is intentionally kept small. The validator implementation
// is split across:
// - error.mbt
// - context.mbt
// - stack.mbt
// - const_expr.mbt
// - module_validate.mbt
// - limits.mbt
// - function_validate.mbt
// - instr_validate.mbt