The Wasm 1.0 Specification PDF section 4.5.4 has the following three checks for `$instantiate`: ``` ⊢ module : externtype_imⁿ → externtype_ex* (S ⊢ externval : externtype)ⁿ (⊢ externtype ≤ externtype_im)ⁿ ``` They are missing in Wasm 1.0 SpecTec.
The Wasm 1.0 Specification PDF section 4.5.4 has the following three checks for
$instantiate:They are missing in Wasm 1.0 SpecTec.