mphasis"><em><span class="bold"><strong>intersection</strong></span></em></span></a> and <a class="link" href="containedness.html" title="Containedness"><span class="emphasis"><em><span class="bold"><strong>containedness</strong></span></em></span></a> predicates can be
        used with those kinds of key types. For instance, the overload table for
        intersection
      </p>
<p>
</p>
<pre class="programlisting"><span class="comment">// overload tables for</span>
<span class="identifier">T</span><span 