WebAssembly · rossberg · Aug 2, 2022 · Aug 1, 2022 · Aug 2, 2022 · Aug 2, 2022
diff --git a/document/core/intro/overview.rst b/document/core/intro/overview.rst
@@ -70,7 +70,7 @@ This language is structured around the following concepts.
 **Tables**
   A *table* is an array of opaque values of a particular *element type*.
   It allows programs to select such values indirectly through a dynamic index operand.
-  Currently, the only available element type is an untyped function reference.
+  Currently, the only available element type is an untyped function reference or a reference to an external host value.
   Thereby, a program can call functions indirectly through a dynamic index into a table.
   For example, this allows emulating function pointers by way of table indices.
 

diff --git a/document/core/syntax/modules.rst b/document/core/syntax/modules.rst
@@ -328,7 +328,7 @@ The |MSTART| component of a module declares the :ref:`function index <syntax-fun
 
 .. note::
    The start function is intended for initializing the state of a module.
-   The module and its exports are not accessible before this initialization has completed.
+   The module and its exports are not accessible externally before this initialization has completed.
 
 
 .. index:: ! export, name, index, function index, table index, memory index, global index, function, table, memory, global, instantiation

diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
@@ -620,7 +620,7 @@ Parametric Instructions
 
   * The length of :math:`t^\ast` must be :math:`1`.
 
-  * Then the instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
+  * The instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
 
 * Else:
 

diff --git a/document/core/valid/types.rst b/document/core/valid/types.rst
@@ -240,7 +240,7 @@ Import Subtyping
 
 When :ref:`instantiating <exec-module>` a module,
 :ref:`external values <syntax-externval>` must be provided whose :ref:`types <valid-externval>` are *matched* against the respective :ref:`external types <syntax-externtype>` classifying each import.
-In some cases, this allows for a simple form of subtyping, as defined here.
+In some cases, this allows for a simple form of subtyping (written ":math:`\matchesexterntype`" formally), as defined here.
-In some cases, this allows for a simple form of subtyping (written ":math:`\matchesexterntype`" formally), as defined here.
+In some cases, this allows for a simple form of subtyping (written ":math:`\matches`" formally), as defined here.
-In some cases, this allows for a simple form of subtyping (written ":math:`\matchesexterntype`" formally), as defined here.
+In some cases, this allows for a simple form of subtyping (written ":math:`\matches`" formally), as defined here.
 
 
 .. index:: limits
@@ -279,7 +279,6 @@ Limits
      \vdashlimitsmatch \{ \LMIN~n_1, \LMAX~m_1 \} \matcheslimits \{ \LMIN~n_2, \LMAX~m_2 \}
    }
 
-
 .. _match-externtype:
 
 .. index:: function type
-Original file line number
+Diff line change
@@ Expand Up / @@ -620,7 +620,7 @@ Parametric Instructions @@
       * The length of :math:`t^\ast` must be :math:`1`.
-      * Then the instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
+      * The instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
     * Else:
@@ Expand Down @@