nd and or</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Numeric-MixedTypes-Bool.html#t:CanAndOr" target="main">CanAndOr</a> t1 t2</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Numeric-MixedTypes-Bool.html#t:CanAndOrAsymmetric" target="main">CanAndOrAsymmetric</a> t1 t2</p></div><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:-38--38-" target="main">(&amp;&amp;)</a></p></div><div class="top"><p class="src"><a href