\begin{describe}{fun}{report-inheritance-path @<state> @<super>}
\end{describe}
+\begin{describe}{fun}
+ {select-minimal-class-property
+ \=@<supers> @<key> @<order> @<default> @<what> \\
+ \>\&key :present :allow-empty
+ \nlret @<object>}
+\end{describe}
+
\begin{describe}{fun}
{sod-subclass-p @<class-a> @<class-b> @> @<generalized-boolean>}
\end{describe}
%%%--------------------------------------------------------------------------
\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)
+ @> @<generalized-boolean>}
+ \end{describe}
\end{describe}
\begin{describe}{fun}{clos-cpl @<class> @> @<list>}