The .ino files are all combined together and presented to the compiler as a single .cpp file to compile. The Arduino libraries are compiled from source as well, and everything is linked into a binary.

setup(); for (;;) { loop(); if (serialEventRun) serialEventRun(); }