al-icons"></i></a></span></h1><h3><span class="morelinks"></span></h3></div><h4 id="signature" class="signature"><span class="modifier_kind"><span class="modifier">implicit </span> <span class="kind">object</span></span> <span class="symbol"><span class="name">Rep</span><span class="result"> extends <a href="ScalaPolyRep.html" name="provingground.scalahott.ScalaPolyRep" id="provingground.scalahott.ScalaPolyRep" class="extype">ScalaPolyRep</a>[<a href="RepTerm.html" name="provingground.scalahott.RepTerm" 