s="ni n1 expanded"><span class="nh h100 expanded cs"><button class="ar icon-button expanded"></button><a href="../../model.html"><span class="micon pa"></span><span>model</span></a></span><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="../cnf.html"><span class="micon pa"></span><span>cnf</span></a></span><div class="ni n3 "><span class="nh "><a href="../cnf/Bool.html"><span class="micon en"></span><span>Bool</span></a></span></div><div class="ni n3"><span class="nh "><