Import unknown libraries

[Xylar52]

In the Spike Prime app, there is a library pre-installed called spike and spike.control. I was wondering if it was possible to import it in a pybricks file so we would have even more to choose from.

[dlech]

pybricks.tools is the equivalent in Pybricks.

Pybricks	LEGO
wait(... / 1000)	wait_for_seconds(...)
while not ...: pass	wait_until(...)
StopWatch()	Timer()