Your next best documentation might be the source:

https://github.com/micropython/micropython-lib/tree/master/micropython/mip^↗ (opens in a new tab)