Missing modules in the docs

[microbit-carlos]

The following MicroPython modules are not referenced in the docs:

• array
  • Upstream docs
• builtins
  • Upstream docs
• ucollections
  • Upstream docs
• gc
  • Upstream docs
• math
  • Upstream docs
• ustruct
  • Upstream docs
  • Related issue: ustruct module not documented #652
• sys
  • Upstream docs

We should either port the upstream docs (note that the module might only be partially enabled in the micro:bit port) or add an entry and link to the upstream docs.
Taking in consideration we have already ported utime, micropython, and machine, we should probably do the same for these.

PRs are welcomed and I'd be happy to walk through the process with anybody that might want to contribute to the project :)

[mofada]

Running help('modules') in REPL mode shows that there is a utime module, but I cannot find it in the editor, what should I do?

[mofada]

Oh, sorry, I think my problem is a plug-in problem

[kopp]

I guess, that you are using this package https://pypi.org/project/pseudo-microbit/ which does not provide utime. Maybe you can open an issue in this project?

[mofada]

@kopp Yes, I am using this plugin, but it seems that the most recent update was three years ago and I am not sure if it is still being maintained.

[mofada]

intellij-micropython Or this plug-in is also very good, but it also lacks those few files. I filed an issue and I don’t know when it will be updated.