Types¶

Number Types¶

\begin{array}{r} \begin{array}{llclll} numtype & ::= & ‘ i 32 ’ & \Rightarrow & i 32 \\ | & ‘ i 64 ’ & \Rightarrow & i 64 \\ | & ‘ f 32 ’ & \Rightarrow & f 32 \\ | & ‘ f 64 ’ & \Rightarrow & f 64 \end{array} \end{array}

Vector Types¶

\begin{array}{r} \begin{array}{llclll} vectype & ::= & ‘ v 128 ’ & \Rightarrow & v 128 \end{array} \end{array}

Reference Types¶

\begin{array}{r} \begin{array}{llclll} reftype & ::= & ‘ funcref ’ & \Rightarrow & funcref \\ | & ‘ externref ’ & \Rightarrow & externref \\ heaptype & ::= & ‘ func ’ & \Rightarrow & funcref \\ | & ‘ extern ’ & \Rightarrow & externref \end{array} \end{array}

Value Types¶

\begin{array}{r} \begin{array}{llclll} valtype & ::= & t : numtype & \Rightarrow & t \\ | & t : vectype & \Rightarrow & t \\ | & t : reftype & \Rightarrow & t \end{array} \end{array}

Function Types¶

\begin{array}{r} \begin{array}{llcllll} functype & ::= & ‘ (’ ‘ func ’ t_{1}^{*} : vec (param) t_{2}^{*} : vec (result) ‘) ’ & \Rightarrow & [t_{1}^{*}] \to [t_{2}^{*}] \\ param & ::= & ‘ (’ ‘ param ’ {id}^{?} t : valtype ‘) ’ & \Rightarrow & t \\ result & ::= & ‘ (’ ‘ result ’ t : valtype ‘) ’ & \Rightarrow & t \end{array} \end{array}

Note

The optional identifier names for parameters in a function type only have documentation purpose. They cannot be referenced from anywhere.

Abbreviations¶

Multiple anonymous parameters or results may be combined into a single declaration:

\begin{array}{r} \begin{array}{llclll} ‘ (’ ‘ param ’ {valtype}^{*} ‘) ’ & \equiv & (‘ (’ ‘ param ’ valtype ‘) ’)^{*} \\ ‘ (’ ‘ result ’ {valtype}^{*} ‘) ’ & \equiv & (‘ (’ ‘ result ’ valtype ‘) ’)^{*} \end{array} \end{array}

Limits¶

\begin{array}{r} \begin{array}{llclll} limits & ::= & n : u 32 & \Rightarrow & {\min n, \max ϵ} \\ | & n : u 32 m : u 32 & \Rightarrow & {\min n, \max m} \end{array} \end{array}

Memory Types¶

\begin{array}{r} \begin{array}{llcllll} memtype & ::= & \lim : limits & \Rightarrow & \lim \end{array} \end{array}

Table Types¶

\begin{array}{r} \begin{array}{llclll} tabletype & ::= & \lim : limits et : reftype & \Rightarrow & \lim et \end{array} \end{array}

Global Types¶

\begin{array}{r} \begin{array}{llclll} globaltype & ::= & t : valtype & \Rightarrow & const t \\ | & ‘ (’ ‘ mut ’ t : valtype ‘) ’ & \Rightarrow & var t \end{array} \end{array}