in-scala" target="_blank">type ascription</a>:<br/><div class="cmt"><pre>(orScalaPolyRep: ScalaPolyTerm[U, OrScalaPolyRep[U, W]]).getTerm(typ)</pre></div></dd><dt>Definition Classes</dt><dd><a href="ScalaPolyRep$$ScalaPolyTerm.html" name="provingground.scalahott.ScalaPolyRep.ScalaPolyTerm" id="provingground.scalahott.ScalaPolyRep.ScalaPolyTerm" class="extype">ScalaPolyTerm</a></dd></dl></div></li><li class="indented0 " name="provingground.scalahott.ScalaPolyRep.ScalaPolyTerm#getTerm" group="Ungrouped" fullC