The type checker only needs a ''stubs'' file to let programs access a Python module. There is no need to port the entire module to mypy. A stubs file is also a good starting point for porting an ...