{parse @<parser> @> @<result> @<success-flag> @<consumed-flag>}
\end{describe}
+\begin{describe}{mac}
+ {parser @<lambda-list>
+ @[[ @<declaration>^* @! @<doc-string> @]]
+ @<parser>
+ @> @<function>}
+\end{describe}
+
\begin{describe}{gf}{parser-at-eof-p @<context> @> @<form>}
\end{describe}