="input-prepend input-block-level"><span class="add-on"><i class="icon-search"></i></span><input id="search" type="text" placeholder="Filter (Ctrl+P)" autocomplete="off"/></div></form></div><div class="well sidebar-nav" id="explorer"><div id="nav"></div></div></div><div class="span9"><div class="page-header"><h1><small>abstract</small> Bool</h1><h4><small><a href="./">no package</a></small></h4><h4></h4><span class="label label-meta label-meta-coreType" title="Identifies an abstract as core type so that it 