 <code class="docutils literal notranslate"><span class="pre">tester.lgt</span></code> file:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span>| <span class="o">?-</span> <span class="k">logtalk_load</span>(types(tester)).
</pre></div>
</div>
</section>
<section id="type-checking">
<h2>Type-checking<a class="headerlink" href="#type-checking" title="Link to this heading"></a></h2>
<p>This library <code class="docutils literal notranslate"><span class="pre">type</span>