Modules are documented elsewhere.
Compilers often generate so-called module files: usually the file containing
module my_module end module
will result in a file named something like
my_module.mod by the compiler. In such cases, for a module to be accessible by a program unit, that module file must be visible before this latter program unit is processed.