.. index:: type
| Category | Constructor | Binary Opcode |
|---|---|---|
| :ref:`Type index <syntax-typeidx>` | x | (positive number as |Bs32| or |Bu32|) |
| :ref:`Number type <syntax-numtype>` | |I32| | \hex{7F} (-1 as |Bs7|) |
| :ref:`Number type <syntax-numtype>` | |I64| | \hex{7E} (-2 as |Bs7|) |
| :ref:`Number type <syntax-numtype>` | |F32| | \hex{7D} (-3 as |Bs7|) |
| :ref:`Number type <syntax-numtype>` | |F64| | \hex{7C} (-4 as |Bs7|) |
| :ref:`Vector type <syntax-vectype>` | |V128| | \hex{7B} (-5 as |Bs7|) |
| (reserved) | \hex{7A} .. \hex{71} | |
| :ref:`Reference type <syntax-reftype>` | |FUNCREF| | \hex{70} (-16 as |Bs7|) |
| :ref:`Reference type <syntax-reftype>` | |EXTERNREF| | \hex{6F} (-17 as |Bs7|) |
| (reserved) | \hex{6E} .. \hex{61} | |
| :ref:`Function type <syntax-functype>` | [\valtype^\ast] \to [\valtype^\ast] | \hex{60} (-32 as |Bs7|) |
| (reserved) | \hex{5F} .. \hex{41} | |
| :ref:`Result type <syntax-resulttype>` | [\epsilon] | \hex{40} (-64 as |Bs7|) |
| :ref:`Table type <syntax-tabletype>` | \limits~\reftype | (none) |
| :ref:`Memory type <syntax-memtype>` | \limits | (none) |
| :ref:`Global type <syntax-globaltype>` | \mut~\valtype | (none) |