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