Webots Stubs Typing stubs for Webots' controller package. These are auto-generated from the Python API which comes with Webots.