Modules have a one-to-one correspondence with source files. The module name is, by default, the file name with the path and extension stripped off, and can be set explicitly with the module declaration.
The ModuleDeclaration sets the name of the module and what package it belongs to. If absent, the...