\frame[containsverbatim] { \frametitle{Syntax of \texttt{param.ccl}}
\begin{verbatim}
[SHARES: <implementation>]

[PUBLIC:|RESTRICTED:|PRIVATE:]

[BOOLEAN|KEYWORD|INT|REAL|STRING]
    <parameter name> <description> [STEERABLE=...]
{
    <allowed value>             :: <description>
    <lower bound>:<upper bound> :: <description>
    <pattern>                   :: <description>
    ...
} <default value>
\end{verbatim}
}

