src/: Factor out common machinery in `check-method-type' methods.

[sod] / doc / meta.tex

diff --git a/doc/meta.tex b/doc/meta.tex
index 45e50c3888b311f38ba02bd58c07922cb4010e18..280a21c35f57e308aac653864f0acb135ab2867f 100644 (file)
--- a/doc/meta.tex
+++ b/doc/meta.tex
@@ -221,6 +221,17 @@
       @> @<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}