Index of TypesΒΆ
Category |
Constructor |
Binary Opcode |
|---|---|---|
\(x\) |
(positive number as \(\href{../binary/values.html#binary-int}{\def\mathdef1358#1{{\mathtt{s}#1}}\mathdef1358{\mathtt{32}}}\) or \(\href{../binary/values.html#binary-int}{\def\mathdef1353#1{{\mathtt{u}#1}}\mathdef1353{\mathtt{32}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}\) |
\(\def\mathdef1377#1{\mathtt{0x#1}}\mathdef1377{7F}\) (-1 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}\) |
\(\def\mathdef1378#1{\mathtt{0x#1}}\mathdef1378{7E}\) (-2 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle32}}\) |
\(\def\mathdef1379#1{\mathtt{0x#1}}\mathdef1379{7D}\) (-3 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle64}}\) |
\(\def\mathdef1380#1{\mathtt{0x#1}}\mathdef1380{7C}\) (-4 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-vectype}{\mathsf{v\scriptstyle128}}\) |
\(\def\mathdef1381#1{\mathtt{0x#1}}\mathdef1381{7B}\) (-5 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1382#1{\mathtt{0x#1}}\mathdef1382{7A}\) .. \(\def\mathdef1383#1{\mathtt{0x#1}}\mathdef1383{79}\) |
|
\(\href{../syntax/types.html#syntax-storagetype}{\mathsf{i\scriptstyle8}}\) |
\(\def\mathdef1384#1{\mathtt{0x#1}}\mathdef1384{78}\) (-8 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-storagetype}{\mathsf{i\scriptstyle16}}\) |
\(\def\mathdef1385#1{\mathtt{0x#1}}\mathdef1385{77}\) (-9 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1386#1{\mathtt{0x#1}}\mathdef1386{78}\) .. \(\def\mathdef1387#1{\mathtt{0x#1}}\mathdef1387{75}\) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{noexn}}\) |
\(\def\mathdef1388#1{\mathtt{0x#1}}\mathdef1388{74}\) (-14 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{nofunc}}\) |
\(\def\mathdef1389#1{\mathtt{0x#1}}\mathdef1389{73}\) (-13 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{noextern}}\) |
\(\def\mathdef1390#1{\mathtt{0x#1}}\mathdef1390{72}\) (-14 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{none}}\) |
\(\def\mathdef1391#1{\mathtt{0x#1}}\mathdef1391{71}\) (-15 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/modules.html#syntax-func}{\mathsf{func}}\) |
\(\def\mathdef1392#1{\mathtt{0x#1}}\mathdef1392{70}\) (-16 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{extern}}\) |
\(\def\mathdef1393#1{\mathtt{0x#1}}\mathdef1393{6F}\) (-17 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{any}}\) |
\(\def\mathdef1394#1{\mathtt{0x#1}}\mathdef1394{6E}\) (-18 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{eq}}\) |
\(\def\mathdef1395#1{\mathtt{0x#1}}\mathdef1395{6D}\) (-19 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{i\scriptstyle31}}\) |
\(\def\mathdef1396#1{\mathtt{0x#1}}\mathdef1396{6C}\) (-20 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{struct}}\) |
\(\def\mathdef1397#1{\mathtt{0x#1}}\mathdef1397{6B}\) (-21 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{array}}\) |
\(\def\mathdef1398#1{\mathtt{0x#1}}\mathdef1398{6A}\) (-22 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{exn}}\) |
\(\def\mathdef1399#1{\mathtt{0x#1}}\mathdef1399{69}\) (-23 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1400#1{\mathtt{0x#1}}\mathdef1400{68}\) .. \(\def\mathdef1401#1{\mathtt{0x#1}}\mathdef1401{65}\) |
|
\(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}\) |
\(\def\mathdef1402#1{\mathtt{0x#1}}\mathdef1402{64}\) (-28 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}\) \(\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}\) |
\(\def\mathdef1403#1{\mathtt{0x#1}}\mathdef1403{63}\) (-29 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1404#1{\mathtt{0x#1}}\mathdef1404{62}\) .. \(\def\mathdef1405#1{\mathtt{0x#1}}\mathdef1405{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\mathdef1406#1{\mathtt{0x#1}}\mathdef1406{60}\) (-32 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-comptype}{\mathsf{struct}}~\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}^\ast\) |
\(\def\mathdef1407#1{\mathtt{0x#1}}\mathdef1407{5F}\) (-33 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-comptype}{\mathsf{array}}~\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}\) |
\(\def\mathdef1408#1{\mathtt{0x#1}}\mathdef1408{5E}\) (-34 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1409#1{\mathtt{0x#1}}\mathdef1409{5D}\) .. \(\def\mathdef1410#1{\mathtt{0x#1}}\mathdef1410{51}\) |
|
\(\href{../syntax/types.html#syntax-subtype}{\mathsf{sub}}~\href{../syntax/modules.html#syntax-typeidx}{\mathit{typeidx}}^\ast~\href{../syntax/types.html#syntax-comptype}{\mathit{comptype}}\) |
\(\def\mathdef1411#1{\mathtt{0x#1}}\mathdef1411{50}\) (-48 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\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-comptype}{\mathit{comptype}}\) |
\(\def\mathdef1412#1{\mathtt{0x#1}}\mathdef1412{4F}\) (-49 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
\(\href{../syntax/types.html#syntax-rectype}{\mathsf{rec}}~\href{../syntax/types.html#syntax-subtype}{\mathit{subtype}}^\ast\) |
\(\def\mathdef1413#1{\mathtt{0x#1}}\mathdef1413{4E}\) (-50 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\)) |
|
(reserved) |
\(\def\mathdef1414#1{\mathtt{0x#1}}\mathdef1414{4D}\) .. \(\def\mathdef1415#1{\mathtt{0x#1}}\mathdef1415{41}\) |
|
\([\epsilon]\) |
\(\def\mathdef1416#1{\mathtt{0x#1}}\mathdef1416{40}\) (-64 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\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) |