term_old_at.bnf 123 Bytes
Newer Older
1 2 3 4 5
\begin{syntax}
  term ::= ...                    ;
       | "old" term		  ;
       | "at" term "'" uident	  ;
\end{syntax}