\begin{describe}{mac}{aif @<condition> @<consequent> @[@<alt>@]}
\end{describe}
+\begin{describe}{mac}{aand @<form>^*}
+\end{describe}
+
\begin{describe}{mac}{awhen @<condition> @<form>^*}
\end{describe}
\\ \ind\ind
(@{ (@<cat-var> @<cat-predicate>) @}^*) \-\\
@<declaration>^* \\
- @<body-form>^*
+ @<form>^*
\-\nlret @<value>^*}
\end{describe}
\end{describe}
\begin{describe}{fun}
+ {parse-property @<scanner> @<pset>
+ @> @<result> @<success-flag> @<consumed-flag>}
+\end{describe}
+
+\begin{describe}{fun}
{parse-property-set @<scanner>
@> @<result> @<success-flag> @<consumed-flag>}
\end{describe}
\end{describe}
\begin{describe}{mac}
- {test-parser (@<scanner>) @<parser> @<input>
- @> @<success-flag> @<result> @<remainder>}
+ {test-parser (@<scanner> \&key :backtrace) @<parser> @<input>
+ @> @<result> @<status> @<remainder>}
\end{describe}
\begin{describe}{fun}{exercise}