typedecl.syn 127 B

123
  1. \begin{psyntax}{Type declaration}{typedecl}
  2. \synt{type\ declaration} \synt{identifier} \lit*= \synt{type} \lit* ;
  3. \end{psyntax}