d in general to allow
the compiler to check if the called module predicate is a meta-predicate
and retrieve its meta-predicate template to ensure proper call compilation.</p>
</div>
<p>The module identifier argument can also be a <a class="reference internal" href="../../glossary.html#term-parameter-variable"><span class="xref std std-term">parameter variable</span></a>
when using the directive in a parametric object or a parametric category
defined in a source file (the common case). In this case, <a class