Type help("modules") into the REPL next to the prompt, and press enter.
This is a list of all the core libraries built into CircuitPython. We discussed how board contains all of the pins on the
board that you can use in your code. From the REPL, you are able to see that list!
Type import board into the REPL and press enter. It'll go to a new prompt. It might look like nothing happened, but
that's not the case! If you recall, the import statement simply tells the code to expect to do something with that
module. In this case, it's telling the REPL that you plan to do something with that module.
Next, type dir(board) into the REPL and press enter.