Compiling Statement Sequence
![\begin{equation*}
[\![s_1 ; \ldots; s_n ]\!] = [\![s_1]\!] ::: \ldots ::: [\![s_n]\!]
\end{equation*}](/w/lib/exe/fetch.php?media=wiki:latex:/img8b9132f5b915c17aa430046c9615953b.png "Equation")
[\![s_1 ; \ldots; s_n ]\!] = [\![s_1]\!] ::: \ldots ::: [\![s_n]\!]
Menu
[\![s_1 ; \ldots; s_n ]\!] = [\![s_1]\!] ::: \ldots ::: [\![s_n]\!]