Definitions

$$\begin{eqnarray*} \mbox{\it type} &\leftarrow & \mbox{\tt int} \vert \mb... ...ifier} \mbox{\it arg-list} \mbox{\tt ;} \parbox{10cm}{ }\end{eqnarray*}$$