"pre">types</span></code> library perform this check for pre-defined and loaded
user-defined ground types.</p>
<p>When defining a meta-type (i.e., a type with arguments that are also
types), add also a clause for the <code class="docutils literal notranslate"><span class="pre">type::meta_type/3</span></code> multifile
predicate. For example:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="p">:- </span><span class="k">multifile</span>(type<span class="o">: