<span class="kind">def</span></span> <span class="symbol"><span class="name">as</span><span class="tparams">[<span name="W">W</span>]</span><span class="params">(<span class="implicit">implicit </span><span name="arg0">arg0: <a href="#Rep[W]=provingground.scalahott.ScalaRep[U,W]" name="provingground.scalahott.ScalaRep.TermScala.Rep" id="provingground.scalahott.ScalaRep.TermScala.Rep" class="extmbr">Rep</a>[<span name="provingground.scalahott.ScalaRep.TermScala.as.W" class="extype">W</span>]</span>)</span><s