I suspect there’s some tooling missing here. Aren’t there .pyi files now? I remember there being some mention of generating these files as well, but I don’t know the status there.
I suspect there’s some tooling missing here. Aren’t there .pyi files now? I remember there being some mention of generating these files as well, but I don’t know the status there.