初歩的な質問ですみません。
25.1 にしたらエコーエリアに
defun: (NAME ARGLIST &optional DOCSTRING DECL &rest BODY)
とか出してくれて便利ですが、これは何という名前の機能ですか？