3 ms·

I have no doubt that it will be faster than mypy, but: > This project is still in development and is not ready for production use.