check

book.tex

@@ -17683,7 +17683,7 @@ Inject(Project(|$e'_1$|, IntType())
 \\[2ex]\hline
 \begin{minipage}{0.22\textwidth}
 \begin{lstlisting}
-lambda |$x_1 \ldots x_n$|: |$e$|
+lambda |$x_1 \ldots$|: |$e$|
 \end{lstlisting}
 \end{minipage}
 &
@@ -17691,7 +17691,7 @@ $\Rightarrow$
 &
 \begin{minipage}{0.7\textwidth}
 \begin{lstlisting}
-Inject(Lambda([(|$x_1$|,AnyType),|$\ldots$|,(|$x_n$|,AnyType)], |$e'$|)
+Inject(Lambda([(|$x_1$|,AnyType),|$\ldots$|], |$e'$|)
        FunctionType([AnyType(),|$\ldots$|], AnyType()))
 \end{lstlisting}
 \end{minipage}