\begin{psyntax}{Set Types}{typeset}
\synt{set\ type} \lit*{set} \lit*{of} \synt{ordinal\ type}
\end{psyntax}