xt/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Numeric.MixedTypes.Bool</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">type</span> <a href="Numeric-MixedTypes-Bool.html#t:IsBool" target="main">IsBool</a> t</p></div><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:specIsBool" target="main">specIsBool</a></p></