Question: Is src/main.py and/or boot.py considered separate modules?

i.e. could I put an "import pyb" in src/main.py and have that be in effect when it drops into repl?