s="top"><p class="src"><span class="keyword">type</span> <a href="Numeric-MixedTypes-Bool.html#t:CanTestCertainlyX" target="main">CanTestCertainlyX</a> t</p></div><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:isNotTrue" target="main">isNotTrue</a></p></div><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:isNotFalse" target="main">isNotFalse</a></p></div><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:stronglyImplies" target="main">stro