Index of TypesΒΆ

Category

Constructor

Binary Opcode

Type index

\(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\mathdef1354#1{{\mathtt{u}#1}}\mathdef1354{\mathtt{32}}}\))

Number type

\(\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\)

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

Number type

\(\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\)

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

Number type

\(\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\)

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

Number type

\(\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\)

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

Vector type

\(\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}\)

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

(reserved)

\(\def\mathdef1393#1{\mathtt{0x#1}}\mathdef1393{7A}\) .. \(\def\mathdef1394#1{\mathtt{0x#1}}\mathdef1394{79}\)

Packed type

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

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

Packed type

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

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

(reserved)

\(\def\mathdef1397#1{\mathtt{0x#1}}\mathdef1397{78}\) .. \(\def\mathdef1398#1{\mathtt{0x#1}}\mathdef1398{75}\)

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

Heap type

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

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

(reserved)

\(\def\mathdef1411#1{\mathtt{0x#1}}\mathdef1411{68}\) .. \(\def\mathdef1412#1{\mathtt{0x#1}}\mathdef1412{65}\)

Reference type

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

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

Reference type

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

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

(reserved)

\(\def\mathdef1415#1{\mathtt{0x#1}}\mathdef1415{62}\) .. \(\def\mathdef1416#1{\mathtt{0x#1}}\mathdef1416{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\mathdef1417#1{\mathtt{0x#1}}\mathdef1417{60}\) (-32 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\))

Composite type

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

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

Composite type

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

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

(reserved)

\(\def\mathdef1420#1{\mathtt{0x#1}}\mathdef1420{5D}\) .. \(\def\mathdef1421#1{\mathtt{0x#1}}\mathdef1421{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\mathdef1422#1{\mathtt{0x#1}}\mathdef1422{50}\) (-48 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\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\mathdef1423#1{\mathtt{0x#1}}\mathdef1423{4F}\) (-49 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\mathtt{7}}}\))

Recursive type

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

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

(reserved)

\(\def\mathdef1425#1{\mathtt{0x#1}}\mathdef1425{4D}\) .. \(\def\mathdef1426#1{\mathtt{0x#1}}\mathdef1426{41}\)

Result type

\([\epsilon]\)

\(\def\mathdef1427#1{\mathtt{0x#1}}\mathdef1427{40}\) (-64 as \(\href{../binary/values.html#binary-int}{\def\mathdef1357#1{{\mathtt{s}#1}}\mathdef1357{\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)