@> @<class>}
\end{describe}
-\begin{describe}{mac}
- {define-sod-class @<name> (@<superclass>^*) \\ \ind
- @{ @<keyword> @<value> @}^* \\
- @<declaration>^* \\
- @<form>^*}
-\end{describe}
-
\begin{describe*}
{\dhead{lmac}{slot @<name> @<type> @{ @<keyword> @<value> @}^*}
\dhead{lmac}{instance-initializer @<nick> @<name>
@> @<generalized-boolean>}
\end{describe}
+\begin{describe}{fun}{check-method-return-type @<method-type> @<return-type>}
+\end{describe}
+
+\begin{describe}{fun}
+ {check-method-return-type-against-message @<method-type> @<message-type>}
+\end{describe}
+
+\begin{describe}{fun}
+ {check-method-argument-lists @<method-type> @<message-type>}
+\end{describe}
+
%%%--------------------------------------------------------------------------
\section{Class finalization protocol} \label{sec:meta.finalization}