%%%--------------------------------------------------------------------------
\section{Class finalization protocol} \label{sec:meta.finalization}
+\begin{describe}{mac}
+ {finalization-error (@<token> @<arg>^*) \\ \ind
+ @<declaration>^* \\
+ @<form>^* \-
+ \nlret @<value>^*}
+\end{describe}
+
+\begin{describe}{fun}{finalization-failed}
+\end{describe}
+
\begin{describe*}
{\dhead{gf}{sod-class-precedence-list @<class> @> @<list>}
\dhead{gf}{sod-class-type @<class> @> @<c-type>}
\begin{describe}{gf}{check-sod-class @<class>}
\end{describe}
-\begin{describe}{gf}{finalize-sod-class @<class>}
+\begin{describe}{gf}{finalize-sod-class @<class> @> @<generalized-boolean>}
\begin{describe}{meth}{finalize-sod-class (@<class> sod-class)}
\end{describe}
- \begin{describe}{ar-meth}{finalize-sod-class (@<class> sod-class)}
+ \begin{describe}{ar-meth}{finalize-sod-class (@<class> sod-class)
+ @> @<generalized-boolean>}
\end{describe}
\end{describe}