Index of Types¶

Category	Constructor	Binary Opcode
Type index	$x$	(positive number as $s 32$ or $u 32$ )
Number type	$i 32$	$0 x 7 F$ (-1 as $s 7$ )
Number type	$i 64$	$0 x 7 E$ (-2 as $s 7$ )
Number type	$f 32$	$0 x 7 D$ (-3 as $s 7$ )
Number type	$f 64$	$0 x 7 C$ (-4 as $s 7$ )
Vector type	$v 128$	$0 x 7 B$ (-5 as $s 7$ )
(reserved)		$0 x 7 A$ .. $0 x 79$
Packed type	$i 8$	$0 x 78$ (-8 as $s 7$ )
Packed type	$i 16$	$0 x 77$ (-9 as $s 7$ )
(reserved)		$0 x 78$ .. $0 x 74$
Heap type	$nofunc$	$0 x 73$ (-13 as $s 7$ )
Heap type	$noextern$	$0 x 72$ (-14 as $s 7$ )
Heap type	$none$	$0 x 71$ (-15 as $s 7$ )
Heap type	$func$	$0 x 70$ (-16 as $s 7$ )
Heap type	$extern$	$0 x 6 F$ (-17 as $s 7$ )
Heap type	$any$	$0 x 6 E$ (-18 as $s 7$ )
Heap type	$eq$	$0 x 6 D$ (-19 as $s 7$ )
Heap type	$i 31$	$0 x 6 C$ (-20 as $s 7$ )
Heap type	$struct$	$0 x 6 B$ (-21 as $s 7$ )
Heap type	$array$	$0 x 6 A$ (-22 as $s 7$ )
(reserved)		$0 x 69$ .. $0 x 65$
Reference type	$ref$	$0 x 64$ (-28 as $s 7$ )
Reference type	$ref$ $null$	$0 x 63$ (-29 as $s 7$ )
(reserved)		$0 x 62$ .. $0 x 61$
Composite type	$func [{valtype}^{}] \to [{valtype}^{}]$	$0 x 60$ (-32 as $s 7$ )
Composite type	$struct {fieldtype}^{*}$	$0 x 5 F$ (-33 as $s 7$ )
Composite type	$array fieldtype$	$0 x 5 E$ (-34 as $s 7$ )
(reserved)		$0 x 5 D$ .. $0 x 51$
Sub type	$sub {typeidx}^{*} comptype$	$0 x 50$ (-48 as $s 7$ )
Sub type	$sub final {typeidx}^{*} comptype$	$0 x 4 F$ (-49 as $s 7$ )
Recursive type	$rec {subtype}^{*}$	$0 x 4 E$ (-50 as $s 7$ )
(reserved)		$0 x 4 D$ .. $0 x 41$
Result type	$[ϵ]$	$0 x 40$ (-64 as $s 7$ )
Table type	$limits reftype$	(none)
Memory type	$limits$	(none)
Global type	$mut valtype$	(none)