\begin{psyntax}{Value parameters}{valueparameters}
\synt{value\ parameter}
\synt{identifier\ list} \lit*: 
\begin{stack}\\ \lit*{array} \lit*{of} \end{stack}
\synt{parameter\ type}
\end{psyntax}