Index of TypesΒΆ

Category Constructor Binary Opcode
Type index \(x\) (positive number as \(\href{../binary/values.html#binary-int}{\def\mathdef761#1{{\mathtt{s}#1}}\mathdef761{\mathtt{32}}}\) or \(\href{../binary/values.html#binary-int}{\def\mathdef757#1{{\mathtt{u}#1}}\mathdef757{\mathtt{32}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\) \(\def\mathdef788#1{\mathtt{0x#1}}\mathdef788{7F}\) (-1 as \(\href{../binary/values.html#binary-int}{\def\mathdef760#1{{\mathtt{s}#1}}\mathdef760{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\) \(\def\mathdef789#1{\mathtt{0x#1}}\mathdef789{7E}\) (-2 as \(\href{../binary/values.html#binary-int}{\def\mathdef760#1{{\mathtt{s}#1}}\mathdef760{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\) \(\def\mathdef790#1{\mathtt{0x#1}}\mathdef790{7D}\) (-3 as \(\href{../binary/values.html#binary-int}{\def\mathdef760#1{{\mathtt{s}#1}}\mathdef760{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\) \(\def\mathdef791#1{\mathtt{0x#1}}\mathdef791{7C}\) (-4 as \(\href{../binary/values.html#binary-int}{\def\mathdef760#1{{\mathtt{s}#1}}\mathdef760{\mathtt{7}}}\))
(reserved)   \(\def\mathdef792#1{\mathtt{0x#1}}\mathdef792{7C}\) .. \(\def\mathdef793#1{\mathtt{0x#1}}\mathdef793{71}\)
Element type \(\href{../syntax/types.html#syntax-elemtype}{\mathsf{anyfunc}}\) \(\def\mathdef794#1{\mathtt{0x#1}}\mathdef794{70}\) (-16 as \(\href{../binary/values.html#binary-int}{\def\mathdef760#1{{\mathtt{s}#1}}\mathdef760{\mathtt{7}}}\))
(reserved)   \(\def\mathdef795#1{\mathtt{0x#1}}\mathdef795{6F}\) .. \(\def\mathdef796#1{\mathtt{0x#1}}\mathdef796{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\mathdef797#1{\mathtt{0x#1}}\mathdef797{60}\) (-32 as \(\href{../binary/values.html#binary-int}{\def\mathdef760#1{{\mathtt{s}#1}}\mathdef760{\mathtt{7}}}\))
(reserved)   \(\def\mathdef798#1{\mathtt{0x#1}}\mathdef798{5F}\) .. \(\def\mathdef799#1{\mathtt{0x#1}}\mathdef799{41}\)
Result type \(\epsilon\) \(\def\mathdef800#1{\mathtt{0x#1}}\mathdef800{40}\) (-64 as \(\href{../binary/values.html#binary-int}{\def\mathdef760#1{{\mathtt{s}#1}}\mathdef760{\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)