The mypy command line - mypy 1.19.1 documentation