re the type) and <code class="docutils literal notranslate"><span class="pre">type::check/2</span></code> (to
type-check values). 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">::</span>type<span class="o">/</span><span class="m">1</span>).
type<span class="o">::</span>type(age).

<span class="p">:- </span><span class="k">multifile</span>(type<span class="o">::</span>check<spa