Re: Declaring Lisp function types

[Andrea Corallo]

Adam Porter <adam@alphapapa.net> writes:

> On 2/24/24 02:53, Tomas Hlavaty wrote:
>> On Sat 24 Feb 2024 at 09:10, Eli Zaretskii <eliz@gnu.org> wrote:
>>>>       (declare (type (integer integer) integer))
>>> FWIW, Andrea's proposal looks more descriptive to me.  "Type" is too
>>> general, whereas "function" is more specific.
>> both are hard to grep for which is inconvenient
>
> "(declare (type" would be hard to grep for?  Wouldn't that be a unique
> string in Elisp code?  I can't find any matches for that in master.

Can't either for "(declare (function" :)

  Andrea