\begin{module}[id=differentiable]%
\importmodule[continuous]{continuous}%
\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}%
\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}%
\end{module}%