Were these manually generated?

[iloveitaly]

If so, amazing feat!

I've attempted to autogen some really basic types for my funcy-pipe project, which is why I'm curious how this is done: https://github.com/iloveitaly/funcy-pipe/pull/18/files

[ruancomelli]

Hello @iloveitaly!

I actually started out by running the mypy stubgen tool, which generated the initial project structure with some basic annotations.
Unfortunately, that tool generated either overly specific or overly generic (Any) annotations, so I had to review and adjust all of the generated PYI files.

I'm curious as to how you've done it now that so many months have passed 😄