\begin{module}[id=continuous]%
\importmodule[\backmods{functions}]{functions}%
\importmodule[\backmods{reals}]{reals}%
\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)}%
\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers}%
\end{module}%
