Collection of Python files that contain API definitions of third-party libraries extended for Python static analysis tools