Changes the type-in module (see ref-mod-tyi) to ModuleName. Thus subsequent top-level goals use ModuleName as their source module.
If ModuleName is not a current module, a warning message is printed, but the type-in module is changed nonetheless.
ModuleName does not become a current module until predicates are loaded into it.
module/1 from a command embedded in a file that
is being loaded does not affect the loading of clauses from that
file. It only affects subsequent goals that are typed at top level.