+\begin{describe}{ty}{inheritance-path-reporter-state}
+\end{describe}
+
+\begin{describe}{fun}{make-inheritance-path-reporter-state @> @<state>}
+\end{describe}
+
+\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}{gf}{guess-metaclass @<class> @> @<metaclass>}
+\end{describe}
+