<span class="nv">Arity</span>, ...])

use_module(<span class="nv">Module</span>, [<span class="k">op</span>(<span class="nv">Precedence</span>,<span class="nv">Associativity</span>,<span class="nv">Operator</span>), ...])
</pre></div>
</div>
<p>This directive declares that all calls (made from predicates defined in
the category or object containing the directive) to the specified
predicates (or non-terminals) are to be interpreted as calls to
explicitly-qualified module predicates (or non-terminals). Thus, 