LARA

Compiling Statement Sequence

\begin{equation*} [\![s_1 ; \ldots; s_n ]\!] = [\![s_1]\!] ::: \ldots ::: [\![s_n]\!] \end{equation*}