Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines…