WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23703,7 +23703,7 @@ \section*{Appendix: Algorithmic Subtyping}
 
 \LMHash{}%
 A type $S$ is a subtype of a type $T$ in the environment $\Delta$
-(written \SubtypeStd{S}{T} and
+(written \SubtypeStd{S}{T},
 abbreviated to \SubtypeNE{S}{T} when the environment is unused) when:
 
 \begin{itemize}
@@ -23937,6 +23937,15 @@ \section*{Appendix: Algorithmic Subtyping}
   then \SubtypeNE{S}{T} if{}f \SubtypeNE{V_i}{S_i} for each $i \in 0 .. m$.
 \end{itemize}
 
+\LMHash{}%
+In these rules, the numbers in parentheses refer to the derivation rules in
+Fig.~\ref{fig:subtypeRules} with the given number.
+A number with an asterisk indicates that
+a special case of said derivation rule is used.
+A number with no asterisk indicates that the textual rule above
+(or part of it) corresponds more directly to
+the derivation rule with the specified number.
+
 
 \section*{Appendix: Integer Implementations}
 \LMLabel{integerImplementations}