Changes the type-in module (see ref-mod-tyi) to ModuleName. Thus subsequent top-level goals use ModuleName as their source module.
The name of a module.
If ModuleName is not a current module, a warning message is issued, but the type-in module is changed nonetheless.
set_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.