Re: Declaring Lisp function types

[Adam Porter]

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.