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 71$
Reference type	$funcref$	$0 x 70$ (-16 as $s 7$ )
Reference type	$externref$	$0 x 6 F$ (-17 as $s 7$ )
(reserved)		$0 x 6 E$ .. $0 x 61$
Function type	$[{valtype}^{}] \to [{valtype}^{}]$	$0 x 60$ (-32 as $s 7$ )
(reserved)		$0 x 5 F$ .. $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)