Guide to Python Type Checking Contents: background tools types Indices and tables genindex modindex search