Deftypefun.
Defun.
Deftypemethod.
Defmethod.
This document was generated on a sunny day using texi2html.