Hopefully it can be used easily as a library. I have multiple use cases for programmatically operating on typed ASTs. MyPy plugins are very limited and most oth

Hopefully it can be used easily as a library. I have multiple use cases for programmatically operating on typed ASTs. MyPy plugins are very limited and most other analyzers have no such extensibility. > Limitations [...] pylyzer (= Erg's type system) has its own type declarations for the Python standard APIs I wonder why https://github.com/python/typeshed https://github.com/python/typeshed could not be used