X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/3aab0efa423fe20713c8cc02e8aabdf7fe84056b..b70cb6d8704405cbb9281f823390f561c03de70c:/doc/meta.tex

diff --git a/doc/meta.tex b/doc/meta.tex
index 45e50c3..280a21c 100644
--- 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}
 
