You do not need to import sibling .v files. In other languages, you would have to use includes or a build system to enumerate all files, compile them separately to object files, then link them into ...