\begin{syntax}
  file ::= (theory | module)*
\end{syntax}