Getting started - mypy 1.15.0 documentation
mypy.readthedocs.io