mypy 1.18.2 documentation
mypy.readthedocs.io