:</span>meta_type<span class="o">/</span><span class="m">3</span>).
type<span class="o">::</span>meta_type(tuple(<span class="nv">Type1</span>, <span class="nv">Type2</span>, <span class="nv">Type3</span>), [<span class="nv">Type1</span>, <span class="nv">Type2</span>, <span class="nv">Type3</span>], []).
</pre></div>
</div>
<p>This predicate is called when checking if a type is a defined type. For
meta-types, that check must extend to the sub-types.</p>
</section>
<section id="examples">
<h2>Examples<a cla