\begin{code}
module ClosureInfo where

data LambdaFormInfo
data ClosureInfo
\end{code}