Re: Inferred function types in the *Help* buffer

[Eli Zaretskii]

> From: Andrea Corallo <akrl@sdf.org>
> Date: Tue, 23 May 2023 16:44:08 +0000
> 
> foo is a native-compiled Lisp function in
> ‘~/.emacs.d/eln-cache/30.0.50-e29d76eb/test-a526a80f-5481bc95.eln’.

Why does it name the .eln file, not its source .el file?  Or is this
the case when there's no .el file?

> Signature: (foo N)
> 
> Inferred type: (function (t) (or (member to-small too-big) (integer
> 100 100)))

Can you explain what is this "Inferred type" information about?

> ATM I adds as well "Signature: " in front of the signature to
> differentiate it from the type.  But looking at it in restrospective it
> might be not even necessary.

We should probably preserve the current format of just showing the
signature without any headings.