535 $\lambda v.\,v$

   535 $\lambda v.\,v$

   536 \end{center}

   536 \end{center}

   537 

   537 

   538 \noindent This completes the high-level version of the simplification

   538 \noindent This completes the high-level version of the simplification

   539 function, which is shown again in Figure~\ref{simp}. The Scala code

   539 function, which is shown again in Figure~\ref{simp}. The Scala code

   541 

   541 

   542 \begin{figure}[t]

   542 \begin{figure}[t]

   543 \begin{center}

   543 \begin{center}

   544 \begin{tabular}{l}

   544 \begin{tabular}{l}

   545 $simp(r)$:\\

   545 $simp(r)$:\\