Understanding How Mypy Maps Files to Module Names

One of the most confusing aspects of mypy is that it doesn’t just type-check files. Internally, mypy builds a graph of Python modules. To…