re">use_module/2</span></code>
in the entity file or preferably in the application <a class="reference internal" href="../../glossary.html#term-loader-file"><span class="xref std std-term">loader file</span></a>
file). Also, note that the name of the module may differ from the name of
the module file.</p>
<div class="admonition warning">
<p class="admonition-title">Warning</p>
<p>The modules <strong>must</strong> be loaded prior to the compilation of entities
that call the module predicates. This is require