Pytype is a static type checker for Python that uses type inference and inline annotations to...