1
\begin{diagram}{Procedural types}{proceduraltypes}
3
\synt{procedural\ type}
4
\begin{stack} \synt{function\ header} \\
5
\synt{procedure\ header}
7
\begin{stack}\\ \lit*{of} \lit*{object} \end{stack}
8
\begin{stack}\\ \lit* ; \synt{call\ modifiers} \end{stack}
11
\synt{function\ header} \lit*{function} \synt{formal\ parameter\ list}
12
\lit*: \synt{result\ type}
15
\synt{procedure\ header} \lit*{procedure} \synt{formal\ parameter\ list}
18
\synt{call\ modifiers}
25
\lit*{saveregisters} \\