Index of TypesΒΆ

Category Constructor Binary Opcode
Type index \(x\) (positive number as \(\href{../binary/values.html#binary-int}{\def\mathdef456#1{{\mathtt{s}#1}}\mathdef456{\mathtt{32}}}\) or \(\href{../binary/values.html#binary-int}{\def\mathdef452#1{{\mathtt{u}#1}}\mathdef452{\mathtt{32}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\) \(\def\mathdef483#1{\mathtt{0x#1}}\mathdef483{7F}\) (-1 as \(\href{../binary/values.html#binary-int}{\def\mathdef455#1{{\mathtt{s}#1}}\mathdef455{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\) \(\def\mathdef484#1{\mathtt{0x#1}}\mathdef484{7E}\) (-2 as \(\href{../binary/values.html#binary-int}{\def\mathdef455#1{{\mathtt{s}#1}}\mathdef455{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\) \(\def\mathdef485#1{\mathtt{0x#1}}\mathdef485{7D}\) (-3 as \(\href{../binary/values.html#binary-int}{\def\mathdef455#1{{\mathtt{s}#1}}\mathdef455{\mathtt{7}}}\))
Value type \(\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\) \(\def\mathdef486#1{\mathtt{0x#1}}\mathdef486{7C}\) (-4 as \(\href{../binary/values.html#binary-int}{\def\mathdef455#1{{\mathtt{s}#1}}\mathdef455{\mathtt{7}}}\))
(reserved)   \(\def\mathdef487#1{\mathtt{0x#1}}\mathdef487{7B}\) .. \(\def\mathdef488#1{\mathtt{0x#1}}\mathdef488{71}\)
Element type \(\href{../syntax/types.html#syntax-elemtype}{\mathsf{funcref}}\) \(\def\mathdef489#1{\mathtt{0x#1}}\mathdef489{70}\) (-16 as \(\href{../binary/values.html#binary-int}{\def\mathdef455#1{{\mathtt{s}#1}}\mathdef455{\mathtt{7}}}\))
(reserved)   \(\def\mathdef490#1{\mathtt{0x#1}}\mathdef490{6F}\) .. \(\def\mathdef491#1{\mathtt{0x#1}}\mathdef491{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\mathdef492#1{\mathtt{0x#1}}\mathdef492{60}\) (-32 as \(\href{../binary/values.html#binary-int}{\def\mathdef455#1{{\mathtt{s}#1}}\mathdef455{\mathtt{7}}}\))
(reserved)   \(\def\mathdef493#1{\mathtt{0x#1}}\mathdef493{5F}\) .. \(\def\mathdef494#1{\mathtt{0x#1}}\mathdef494{41}\)
Result type \([\epsilon]\) \(\def\mathdef495#1{\mathtt{0x#1}}\mathdef495{40}\) (-64 as \(\href{../binary/values.html#binary-int}{\def\mathdef455#1{{\mathtt{s}#1}}\mathdef455{\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)