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.