Package python3-mypy

https://github.com/python/mypy

Mypy is an optional static type checker for Python. You can add type
hints to your Python programs using the upcoming standard for type
annotations introduced in Python 3.5 beta 1 (PEP 484), and use mypy to
type check them statically. Find bugs in your programs without even
running them!

Version: 1.13.0