WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23736,6 +23736,11 @@ \section*{Appendix: Algorithmic Subtyping}
     It is valid to choose $Z_i$ to be $X_i$ or $Y_i$,
     so long as capture is avoided.%
   }
+
+\item
+  If $T_0$ is \code{($V_0$, \ldots, $V_n$, \{$V_{n+1} d_{n+1}$, \ldots, $V_m d_m$\})}
+  and $T_1$ is \code{($S_0$, \ldots, $S_n$, \{$S_{n+1} d_{n+1}$, \ldots, $S_m d_m$\})}
+  then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{V_i}{S_i} for each $i \in 0 .. m$.  
 \end{itemize}