Don’t forget this is an embedded version of Python running on the V5, many standard Python features are included, but there’s a lot which isn’t. Using the console described here.
you can list the internal modules, it will show something like this.
MicroPython v1.12-143-g4def664-dirty on 2020-07-08; Vex V5 with Zynq (v0.2)
Type "help()" for more information.
>>> help('modules')
__main__ math uarray utime
_thread micropython ubinascii utimeq
builtins motorgroup ucollections vex
cmath python_vm_init urandom vexdev
drivetrain smartdrive ure
gc sys ustruct
Plus any modules on the filesystem
>>>
which shows a few more than you will see in the version that shipped a couple of weeks ago.