[submodule "external/mypy"]
	path = external/mypy
	url = https://github.com/python/mypy.git