|
@@ -17650,7 +17650,7 @@ $\Rightarrow$
|
|
\end{tabular}
|
|
\end{tabular}
|
|
\fi}
|
|
\fi}
|
|
{\if\edition\pythonEd
|
|
{\if\edition\pythonEd
|
|
-\begin{tabular}{|lll|} \hline
|
|
|
|
|
|
+\begin{tabular}{lll}
|
|
\begin{minipage}{0.22\textwidth}
|
|
\begin{minipage}{0.22\textwidth}
|
|
\begin{lstlisting}
|
|
\begin{lstlisting}
|
|
True
|
|
True
|
|
@@ -17721,7 +17721,8 @@ $\Rightarrow$
|
|
&
|
|
&
|
|
\begin{minipage}{0.7\textwidth}
|
|
\begin{minipage}{0.7\textwidth}
|
|
\begin{lstlisting}
|
|
\begin{lstlisting}
|
|
-Call(Name('any_tuple_load'),[|$e_1'$|, |$e_2'$|])
|
|
|
|
|
|
+Call(Name('any_tuple_load'),
|
|
|
|
+ [|$e_1'$|, Project(|$e_2'$|, IntType())])
|
|
\end{lstlisting}
|
|
\end{lstlisting}
|
|
\end{minipage}
|
|
\end{minipage}
|
|
%% \begin{minipage}{0.22\textwidth}
|
|
%% \begin{minipage}{0.22\textwidth}
|