Index of TypesΒΆ

Category

Constructor

Binary Opcode

Type index

\(x\)

(positive number as \(\href{../binary/values.html#binary-int}{\def\mathdef1392#1{{\mathtt{s}#1}}\mathdef1392{\mathtt{32}}}\) or \(\href{../binary/values.html#binary-int}{\def\mathdef1387#1{{\mathtt{u}#1}}\mathdef1387{\mathtt{32}}}\))

Number type

\(\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}\)

\(\def\mathdef1424#1{\mathtt{0x#1}}\mathdef1424{7F}\) (-1 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Number type

\(\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}\)

\(\def\mathdef1425#1{\mathtt{0x#1}}\mathdef1425{7E}\) (-2 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Number type

\(\href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle32}}\)

\(\def\mathdef1426#1{\mathtt{0x#1}}\mathdef1426{7D}\) (-3 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Number type

\(\href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle64}}\)

\(\def\mathdef1427#1{\mathtt{0x#1}}\mathdef1427{7C}\) (-4 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Vector type

\(\href{../syntax/types.html#syntax-vectype}{\mathsf{v\scriptstyle128}}\)

\(\def\mathdef1428#1{\mathtt{0x#1}}\mathdef1428{7B}\) (-5 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

(reserved)

\(\def\mathdef1429#1{\mathtt{0x#1}}\mathdef1429{7A}\) .. \(\def\mathdef1430#1{\mathtt{0x#1}}\mathdef1430{79}\)

Packed type

\(\href{../syntax/types.html#syntax-storagetype}{\mathsf{i\scriptstyle8}}\)

\(\def\mathdef1431#1{\mathtt{0x#1}}\mathdef1431{78}\) (-8 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Packed type

\(\href{../syntax/types.html#syntax-storagetype}{\mathsf{i\scriptstyle16}}\)

\(\def\mathdef1432#1{\mathtt{0x#1}}\mathdef1432{77}\) (-9 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

(reserved)

\(\def\mathdef1433#1{\mathtt{0x#1}}\mathdef1433{78}\) .. \(\def\mathdef1434#1{\mathtt{0x#1}}\mathdef1434{75}\)

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{noexn}}\)

\(\def\mathdef1435#1{\mathtt{0x#1}}\mathdef1435{74}\) (-14 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{nofunc}}\)

\(\def\mathdef1436#1{\mathtt{0x#1}}\mathdef1436{73}\) (-13 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{noextern}}\)

\(\def\mathdef1437#1{\mathtt{0x#1}}\mathdef1437{72}\) (-14 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{none}}\)

\(\def\mathdef1438#1{\mathtt{0x#1}}\mathdef1438{71}\) (-15 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/modules.html#syntax-func}{\mathsf{func}}\)

\(\def\mathdef1439#1{\mathtt{0x#1}}\mathdef1439{70}\) (-16 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{extern}}\)

\(\def\mathdef1440#1{\mathtt{0x#1}}\mathdef1440{6F}\) (-17 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{any}}\)

\(\def\mathdef1441#1{\mathtt{0x#1}}\mathdef1441{6E}\) (-18 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{eq}}\)

\(\def\mathdef1442#1{\mathtt{0x#1}}\mathdef1442{6D}\) (-19 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{i\scriptstyle31}}\)

\(\def\mathdef1443#1{\mathtt{0x#1}}\mathdef1443{6C}\) (-20 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{struct}}\)

\(\def\mathdef1444#1{\mathtt{0x#1}}\mathdef1444{6B}\) (-21 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{array}}\)

\(\def\mathdef1445#1{\mathtt{0x#1}}\mathdef1445{6A}\) (-22 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Heap type

\(\href{../syntax/types.html#syntax-heaptype}{\mathsf{exn}}\)

\(\def\mathdef1446#1{\mathtt{0x#1}}\mathdef1446{69}\) (-23 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

(reserved)

\(\def\mathdef1447#1{\mathtt{0x#1}}\mathdef1447{68}\) .. \(\def\mathdef1448#1{\mathtt{0x#1}}\mathdef1448{65}\)

Reference type

\(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}\)

\(\def\mathdef1449#1{\mathtt{0x#1}}\mathdef1449{64}\) (-28 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Reference type

\(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}\) \(\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}\)

\(\def\mathdef1450#1{\mathtt{0x#1}}\mathdef1450{63}\) (-29 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

(reserved)

\(\def\mathdef1451#1{\mathtt{0x#1}}\mathdef1451{62}\) .. \(\def\mathdef1452#1{\mathtt{0x#1}}\mathdef1452{61}\)

Composite type

\(\href{../syntax/types.html#syntax-comptype}{\mathsf{func}}~[\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\mathdef1453#1{\mathtt{0x#1}}\mathdef1453{60}\) (-32 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Composite type

\(\href{../syntax/types.html#syntax-comptype}{\mathsf{struct}}~\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}^\ast\)

\(\def\mathdef1454#1{\mathtt{0x#1}}\mathdef1454{5F}\) (-33 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Composite type

\(\href{../syntax/types.html#syntax-comptype}{\mathsf{array}}~\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}\)

\(\def\mathdef1455#1{\mathtt{0x#1}}\mathdef1455{5E}\) (-34 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

(reserved)

\(\def\mathdef1456#1{\mathtt{0x#1}}\mathdef1456{5D}\) .. \(\def\mathdef1457#1{\mathtt{0x#1}}\mathdef1457{51}\)

Sub type

\(\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\mathdef1458#1{\mathtt{0x#1}}\mathdef1458{50}\) (-48 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Sub type

\(\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\mathdef1459#1{\mathtt{0x#1}}\mathdef1459{4F}\) (-49 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Recursive type

\(\href{../syntax/types.html#syntax-rectype}{\mathsf{rec}}~\href{../syntax/types.html#syntax-subtype}{\mathit{subtype}}^\ast\)

\(\def\mathdef1460#1{\mathtt{0x#1}}\mathdef1460{4E}\) (-50 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

(reserved)

\(\def\mathdef1461#1{\mathtt{0x#1}}\mathdef1461{4D}\) .. \(\def\mathdef1462#1{\mathtt{0x#1}}\mathdef1462{41}\)

Result type

\([\epsilon]\)

\(\def\mathdef1463#1{\mathtt{0x#1}}\mathdef1463{40}\) (-64 as \(\href{../binary/values.html#binary-int}{\def\mathdef1391#1{{\mathtt{s}#1}}\mathdef1391{\mathtt{7}}}\))

Table type

\(\href{../syntax/types.html#syntax-limits}{\mathit{limits}}~\href{../syntax/types.html#syntax-reftype}{\mathit{reftype}}\)

(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)

Tag type

\(\href{../syntax/types.html#syntax-functype}{\mathit{functype}}\)

(none)