deploy: 782f169

Wasm-DSL · Jan 13, 2025 · 73801f5 · 73801f5
1 parent 0912967
commit 73801f5
Show file tree

Hide file tree

Showing 59 changed files with 178 additions and 181 deletions.
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/_static/documentation_options.js b/core/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '3.0 (Draft 2025-01-10)',
+    VERSION: '3.0 (Draft 2025-01-13)',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/core/appendix/algorithm.html b/core/appendix/algorithm.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Validation Algorithm &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Validation Algorithm &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/changes.html b/core/appendix/changes.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Change History &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Change History &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/custom.html b/core/appendix/custom.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Custom Sections and Annotations &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Custom Sections and Annotations &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/embedding.html b/core/appendix/embedding.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Embedding &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Embedding &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/implementation.html b/core/appendix/implementation.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Implementation Limitations &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Implementation Limitations &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/index-instructions.html b/core/appendix/index-instructions.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Index of Instructions &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Index of Instructions &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/index-rules.html b/core/appendix/index-rules.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Index of Semantic Rules &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Index of Semantic Rules &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/index-types.html b/core/appendix/index-types.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Index of Types &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Index of Types &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/index.html b/core/appendix/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Appendix &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Appendix &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/profiles.html b/core/appendix/profiles.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Profiles &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Profiles &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/appendix/properties.html b/core/appendix/properties.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Type Soundness &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Type Soundness &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/binary/conventions.html b/core/binary/conventions.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Conventions &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Conventions &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/binary/index.html b/core/binary/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Binary Format &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Binary Format &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/core/binary/instructions.html b/core/binary/instructions.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Instructions &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Instructions &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -245,16 +245,16 @@ <h3 id="searchlabel">Quick search</h3>
 &amp; &amp; | &amp; \mathtt{0x29}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~x~{\mathit{ao}} \\
 &amp; &amp; | &amp; \mathtt{0x2A}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~x~{\mathit{ao}} \\
 &amp; &amp; | &amp; \mathtt{0x2B}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x2C}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 8}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x2D}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 8}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x2E}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 16}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x2F}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 16}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x30}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 8}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x31}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 8}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x32}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 16}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x33}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 16}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x34}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 32}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}~x~{\mathit{ao}} \\
-&amp; &amp; | &amp; \mathtt{0x35}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{\mathsf{{\scriptstyle 32}}~\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x2C}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 8}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x2D}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 8}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x2E}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 16}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x2F}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 16}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x30}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 8}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x31}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 8}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x32}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 16}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x33}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 16}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x34}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 32}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{s}}}}~x~{\mathit{ao}} \\
+&amp; &amp; | &amp; \mathtt{0x35}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; {\href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}}{{\mathsf{{\scriptstyle 32}}}{\mathsf{\_}}{\href{../syntax/instructions.html#syntax-sx}{\mathsf{u}}}}~x~{\mathit{ao}} \\
 &amp; &amp; | &amp; \mathtt{0x36}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~x~{\mathit{ao}} \\
 &amp; &amp; | &amp; \mathtt{0x37}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/types.html#syntax-numtype}{\mathsf{i\scriptstyle64}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~x~{\mathit{ao}} \\
 &amp; &amp; | &amp; \mathtt{0x38}~~(x, {\mathit{ao}}){:}{\href{../binary/instructions.html#binary-memarg}{\mathtt{memarg}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/types.html#syntax-numtype}{\mathsf{f\scriptstyle32}}{.}\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~x~{\mathit{ao}} \\

diff --git a/core/binary/modules.html b/core/binary/modules.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Modules &#8212; WebAssembly 3.0 (Draft 2025-01-10)</title>
+    <title>Modules &#8212; WebAssembly 3.0 (Draft 2025-01-13)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>