1 2 3 4 5 6 7 8
\begin{psyntax}{Type aliases}{typealias} \synt{type\ alias} \begin{stack} \\ \lit*{type} \end{stack} \synt{identifier} \end{psyntax}