WIP

specification/dartLangSpec.tex

@@ -23483,7 +23483,7 @@ \section*{Appendix: Algorithmic Subtyping}
   then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{S_i}{T_1} for some $i$.
 \item
   \textbf{Positional Function Types:}
-  $T_0$ is
+  If $T_0$ is
 
   \code{$U_0$ \FUNCTION<%
     $X_0$\,\EXTENDS\,$B_{00}$, \ldots, $X_k$\,\EXTENDS\,$B_{0k}$>(%
@@ -23497,7 +23497,7 @@ \section*{Appendix: Algorithmic Subtyping}
     $S_0$\,$y_0$, \ldots, $S_p$\,$y_p$, %
     [$S_{p+1}$\,$y_{p+1}$, \ldots, $S_q$\,$y_q$])}
 
-  such that each of the following criteria is satisfied,
+  then \SubtypeNE{T_0}{T_1} if{}f each of the following criteria is satisfied,
   where the $Z_i$ are fresh type variables with bounds
   $B_{0i}[Z_0/X_0, \ldots, Z_k/X_k]$:
 
@@ -23512,7 +23512,7 @@ \section*{Appendix: Algorithmic Subtyping}
   \end{itemize}
 \item
   \textbf{Named Function Types:}
-  $T_0$ is
+  If $T_0$ is
 
   \code{%
     $U_0$ \FUNCTION<$X_0$\,\EXTENDS\,$B_{00}$, \ldots, %
@@ -23530,7 +23530,7 @@ \section*{Appendix: Algorithmic Subtyping}
           \{$r_{1,n+1}$\,$S_{n+1}$\,$y_{n+1}$, \ldots, $r_{1q}$\,$S_q$\,$y_q$\})}
 
   where $r_{1j}$ is empty or \REQUIRED{} for $j \in n+1 .. q$
-  and the following criteria are all satisfied,
+  then \SubtypeNE{T_0}{T_1} if{}f the following criteria are all satisfied,
   where \List{Z}{1}{k} are fresh type variables with bounds
   $B_{0i}[Z_0/X_0, \ldots, Z_k/X_k]$: