Philipp Stephani <p.stephani2@gmail.com> writes:
>
>> I think adding "(fn ARG1 ARG2...)" to the docstring would solve (1)-(3).
>
> That doesn't work, because Emacs ignores this syntax when the
> arguments are provided explicitly, and since a module function is just
> a (lambda (&rest args) ...) under the hood, the arglist is always just
> (&rest args).
I don't know what you mean here.
(defun foo (&rest args)
"Do foo.
\(fn ARG1 ARG2)")
<f1> f foo RET gives
foo is a Lisp function.
(foo ARG1 ARG2)
Do foo.
OK, that one works, but others don't (e.g. help-function-arglist). The argument names should be transparent, without having to use such tricks.