" class="extype">provingground.scalahott.ScalaRep</a>.This conversion will take place only if an implicit value of type <a href="ScalaRep.html" name="provingground.scalahott.ScalaRep" id="provingground.scalahott.ScalaRep" class="extype">ScalaRep</a>[<span name="provingground.scalahott.ScalaRep.ScalaTerm.U" class="extype">U</span>, <a href="" name="provingground.scalahott.ScalaRep.TermScala" id="provingground.scalahott.ScalaRep.TermScala" class="extype">TermScala</a>[<span name="provingground.scalahott.Scala