span></span> <span class="symbol"><a href="ScalaRep$.html" title=""><span class="name">ScalaRep</span></a></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="index.html" name="provingground.scalahott" id="provingground.scalahott" class="extype">scalahott</a></dd></dl></div></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaRep$$ConstTerm.html" title="constant  term." class="trait"></a><a href="ScalaRep$$ConstTerm.html" t