Index of TypesΒΆ
Category |
Constructor |
Binary Opcode |
|---|---|---|
\(x\) |
(positive number as \(\href{../binary/values.html#binary-int}{\def\mathdef1377#1{{\mathtt{s}#1}}\mathdef1377{\mathtt{32}}}\) or \(\href{../binary/values.html#binary-int}{\def\mathdef1372#1{{\mathtt{u}#1}}\mathdef1372{\mathtt{32}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}\) |
\(\def\mathdef1396#1{\mathtt{0x#1}}\mathdef1396{7F}\) (-1 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}\) |
\(\def\mathdef1397#1{\mathtt{0x#1}}\mathdef1397{7E}\) (-2 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle32}}\) |
\(\def\mathdef1398#1{\mathtt{0x#1}}\mathdef1398{7D}\) (-3 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle64}}\) |
\(\def\mathdef1399#1{\mathtt{0x#1}}\mathdef1399{7C}\) (-4 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-vectype}{\mathsf{v\scriptstyle128}}\) |
\(\def\mathdef1400#1{\mathtt{0x#1}}\mathdef1400{7B}\) (-5 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1401#1{\mathtt{0x#1}}\mathdef1401{7A}\) .. \(\def\mathdef1402#1{\mathtt{0x#1}}\mathdef1402{79}\) |
|
\(\href{../syntax/types.html#syntax-storagetype}{\mathsf{i\scriptstyle8}}\) |
\(\def\mathdef1403#1{\mathtt{0x#1}}\mathdef1403{78}\) (-8 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-storagetype}{\mathsf{i\scriptstyle16}}\) |
\(\def\mathdef1404#1{\mathtt{0x#1}}\mathdef1404{77}\) (-9 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1405#1{\mathtt{0x#1}}\mathdef1405{78}\) .. \(\def\mathdef1406#1{\mathtt{0x#1}}\mathdef1406{75}\) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{noexn}}\) |
\(\def\mathdef1407#1{\mathtt{0x#1}}\mathdef1407{74}\) (-12 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{nofunc}}\) |
\(\def\mathdef1408#1{\mathtt{0x#1}}\mathdef1408{73}\) (-13 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{noextern}}\) |
\(\def\mathdef1409#1{\mathtt{0x#1}}\mathdef1409{72}\) (-14 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{none}}\) |
\(\def\mathdef1410#1{\mathtt{0x#1}}\mathdef1410{71}\) (-15 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/modules.html#syntax-func}{\mathsf{func}}\) |
\(\def\mathdef1411#1{\mathtt{0x#1}}\mathdef1411{70}\) (-16 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{extern}}\) |
\(\def\mathdef1412#1{\mathtt{0x#1}}\mathdef1412{6F}\) (-17 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{any}}\) |
\(\def\mathdef1413#1{\mathtt{0x#1}}\mathdef1413{6E}\) (-18 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{eq}}\) |
\(\def\mathdef1414#1{\mathtt{0x#1}}\mathdef1414{6D}\) (-19 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{i\scriptstyle31}}\) |
\(\def\mathdef1415#1{\mathtt{0x#1}}\mathdef1415{6C}\) (-20 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{struct}}\) |
\(\def\mathdef1416#1{\mathtt{0x#1}}\mathdef1416{6B}\) (-21 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{array}}\) |
\(\def\mathdef1417#1{\mathtt{0x#1}}\mathdef1417{6A}\) (-22 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{exn}}\) |
\(\def\mathdef1418#1{\mathtt{0x#1}}\mathdef1418{69}\) (-23 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1419#1{\mathtt{0x#1}}\mathdef1419{68}\) .. \(\def\mathdef1420#1{\mathtt{0x#1}}\mathdef1420{65}\) |
|
\(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}\) |
\(\def\mathdef1421#1{\mathtt{0x#1}}\mathdef1421{64}\) (-28 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}\) \(\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}\) |
\(\def\mathdef1422#1{\mathtt{0x#1}}\mathdef1422{63}\) (-29 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{exact}}~\href{../syntax/modules.html#syntax-typeidx}{\mathit{typeidx}}\) |
\(\def\mathdef1423#1{\mathtt{0x#1}}\mathdef1423{62}\) (-30 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1424#1{\mathtt{0x#1}}\mathdef1424{61}\) |
|
\(\href{../syntax/types.html#syntax-comptype}{\mathsf{func}}~[\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}^\ast] \href{../syntax/types.html#syntax-comptype}{\rightarrow}[\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}^\ast]\) |
\(\def\mathdef1425#1{\mathtt{0x#1}}\mathdef1425{60}\) (-32 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-comptype}{\mathsf{struct}}~\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}^\ast\) |
\(\def\mathdef1426#1{\mathtt{0x#1}}\mathdef1426{5F}\) (-33 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-comptype}{\mathsf{array}}~\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}\) |
\(\def\mathdef1427#1{\mathtt{0x#1}}\mathdef1427{5E}\) (-34 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1428#1{\mathtt{0x#1}}\mathdef1428{5D}\) .. \(\def\mathdef1429#1{\mathtt{0x#1}}\mathdef1429{51}\) |
|
\(\href{../syntax/types.html#syntax-subtype}{\mathsf{sub}}~\href{../syntax/modules.html#syntax-typeidx}{\mathit{typeidx}}^\ast~\href{../syntax/types.html#syntax-desctype}{\mathit{desctype}}\) |
\(\def\mathdef1430#1{\mathtt{0x#1}}\mathdef1430{50}\) (-48 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-subtype}{\mathsf{sub}}~\href{../syntax/types.html#syntax-subtype}{\mathsf{final}}~\href{../syntax/modules.html#syntax-typeidx}{\mathit{typeidx}}^\ast~\href{../syntax/types.html#syntax-desctype}{\mathit{desctype}}\) |
\(\def\mathdef1431#1{\mathtt{0x#1}}\mathdef1431{4F}\) (-49 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-rectype}{\mathsf{rec}}~\href{../syntax/types.html#syntax-subtype}{\mathit{subtype}}^\ast\) |
\(\def\mathdef1432#1{\mathtt{0x#1}}\mathdef1432{4E}\) (-50 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-desctype}{\mathsf{descriptor}}~\href{../syntax/modules.html#syntax-typeidx}{\mathit{typeidx}}\) |
\(\def\mathdef1433#1{\mathtt{0x#1}}\mathdef1433{4D}\) (-51 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-desctype}{\mathsf{describes}}~\href{../syntax/modules.html#syntax-typeidx}{\mathit{typeidx}}\) |
\(\def\mathdef1434#1{\mathtt{0x#1}}\mathdef1434{4C}\) (-52 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1435#1{\mathtt{0x#1}}\mathdef1435{4B}\) .. \(\def\mathdef1436#1{\mathtt{0x#1}}\mathdef1436{41}\) |
|
\([\epsilon]\) |
\(\def\mathdef1437#1{\mathtt{0x#1}}\mathdef1437{40}\) (-64 as \(\href{../binary/values.html#binary-int}{\def\mathdef1376#1{{\mathtt{s}#1}}\mathdef1376{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-typeuse}{\mathit{typeuse}}\) |
(none) |
|
\(\href{../syntax/types.html#syntax-mut}{\mathit{mut}}~\href{../syntax/types.html#syntax-valtype}{\mathit{valtype}}\) |
(none) |
|
\(\href{../syntax/types.html#syntax-addrtype}{\mathit{addrtype}}~\href{../syntax/types.html#syntax-limits}{\mathit{limits}}\) |
(none) |
|
\(\href{../syntax/types.html#syntax-addrtype}{\mathit{addrtype}}~\href{../syntax/types.html#syntax-limits}{\mathit{limits}}~\href{../syntax/types.html#syntax-reftype}{\mathit{reftype}}\) |
(none) |