WIP

Author: eernstg

specification/dart.sty

@@ -20,6 +20,7 @@
 \def\MIXIN{\builtinId{mixin}}
 \def\OPERATOR{\builtinId{operator}}
 \def\PART{\builtinId{part}}
+\def\RECORD{\builtinId{Record}}
 \def\REQUIRED{\builtinId{required}}
 \def\SET{\builtinId{set}}
 \def\STATIC{\builtinId{static}}

specification/dartLangSpec.tex

@@ -23634,6 +23634,9 @@ \section*{Appendix: Algorithmic Subtyping}
 \item
   \textbf{Function Type/Function:}
   $T_0$ is a function type and $T_1$ is \FUNCTION.
+\item
+  \textbf{Record Type/Record:}
+  $T_0$ is a record type and $T_1$ is \RECORD.
 \item
   \textbf{Interface Compositionality:}
   $T_0$ is an interface type \code{$C_0$<$S_0$, \ldots, $S_k$>}