library-types"></span><h1><code class="docutils literal notranslate"><span class="pre">types</span></code><a class="headerlink" href="#types" title="Link to this heading"></a></h1>
<p>This library implements predicates over standard Prolog term types and
also terms representing common data structures such as lists and pairs.</p>
<p>It also includes a user-extensible <code class="docutils literal notranslate"><span class="pre">type</span></code> object defining type
checking predicates over common Logtalk