Index of TypesΒΆ

Category Constructor Binary Opcode
Type index \(x\) (positive number as \(\href{../binary/values.html#binary-int}{\def\mathdef624#1{{\mathtt{s}#1}}\mathdef624{\mathtt{32}}}\) or \(\href{../binary/values.html#binary-int}{\def\mathdef620#1{{\mathtt{u}#1}}\mathdef620{\mathtt{32}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\) \(\def\mathdef651#1{\mathtt{0x#1}}\mathdef651{7F}\) (-1 as \(\href{../binary/values.html#binary-int}{\def\mathdef623#1{{\mathtt{s}#1}}\mathdef623{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\) \(\def\mathdef652#1{\mathtt{0x#1}}\mathdef652{7E}\) (-2 as \(\href{../binary/values.html#binary-int}{\def\mathdef623#1{{\mathtt{s}#1}}\mathdef623{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\) \(\def\mathdef653#1{\mathtt{0x#1}}\mathdef653{7D}\) (-3 as \(\href{../binary/values.html#binary-int}{\def\mathdef623#1{{\mathtt{s}#1}}\mathdef623{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\) \(\def\mathdef654#1{\mathtt{0x#1}}\mathdef654{7C}\) (-4 as \(\href{../binary/values.html#binary-int}{\def\mathdef623#1{{\mathtt{s}#1}}\mathdef623{\mathtt{7}}}\))
(reserved)   \(\def\mathdef655#1{\mathtt{0x#1}}\mathdef655{7C}\) .. \(\def\mathdef656#1{\mathtt{0x#1}}\mathdef656{71}\)
Element type \(\href{../syntax/types.html#syntax-elemtype}{\mathsf{anyfunc}}\) \(\def\mathdef657#1{\mathtt{0x#1}}\mathdef657{70}\) (-16 as \(\href{../binary/values.html#binary-int}{\def\mathdef623#1{{\mathtt{s}#1}}\mathdef623{\mathtt{7}}}\))
(reserved)   \(\def\mathdef658#1{\mathtt{0x#1}}\mathdef658{6F}\) .. \(\def\mathdef659#1{\mathtt{0x#1}}\mathdef659{61}\)
Function type \([\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}^\ast]\) \(\def\mathdef660#1{\mathtt{0x#1}}\mathdef660{60}\) (-32 as \(\href{../binary/values.html#binary-int}{\def\mathdef623#1{{\mathtt{s}#1}}\mathdef623{\mathtt{7}}}\))
(reserved)   \(\def\mathdef661#1{\mathtt{0x#1}}\mathdef661{5F}\) .. \(\def\mathdef662#1{\mathtt{0x#1}}\mathdef662{41}\)
Result type \([\epsilon]\) \(\def\mathdef663#1{\mathtt{0x#1}}\mathdef663{40}\) (-64 as \(\href{../binary/values.html#binary-int}{\def\mathdef623#1{{\mathtt{s}#1}}\mathdef623{\mathtt{7}}}\))
Table type \(\href{../syntax/types.html#syntax-limits}{\mathit{limits}}~\href{../syntax/types.html#syntax-elemtype}{\mathit{elemtype}}\) (none)
Memory type \(\href{../syntax/types.html#syntax-limits}{\mathit{limits}}\) (none)
Global type \(\href{../syntax/types.html#syntax-mut}{\mathit{mut}}~\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}\) (none)