+\begin{describe}{gf}{check-class-initializer @<slot> @<class>}
+ \begin{describe}{meth}
+ {check-class-initializer (@<slot> effective-slot) (@<class> sod-class)}
+ \end{describe}
+ \begin{describe}{meth}
+ {check-class-initializer (@<slot> sod-class-effective-slot)
+ (@<class> sod-class)}
+ \end{describe}