\end{describe}
\begin{describe}{gf}{scanner-unread @<scanner> @<character>}
- Rewind the @<scanner> by one step. The @<chararacter> must be the previous
+ Rewind the @<scanner> by one step. The @<character> must be the previous
current character, and becomes the current character again. It is an error
if: the @<scanner> has reached end-of-file; the @<scanner> has never been
stepped; or @<character> was not the previous current character.
\subsection{Expression parsing} \label{sec:parsing.syntax.expression}
-\begin{describe}{gf}{push-operator @<operator> @<state>}
-\end{describe}
-
-\begin{describe}{gf}{push-value @<value> @<state>}
-\end{describe}
-
-\begin{describe}{gf}{apply-operator @<operator> @<state>}
-\end{describe}
-
\begin{describe}{gf}{operator-push-action @<left> @<right>}
\end{describe}