1_5", class="implicit-outgoing class", tooltip="provingground.scalahott.ScalaPolyRep.OrScalaPolyRep can be implicitly converted to ScalaPolyTerm[U, OrScalaPolyRep[U, W]] by the implicit method ScalaPolyTerm in object provingground.scalahott.ScalaPolyRep"] ;node4 [URL="ScalaPolyRep$$ScalaPolyTerm.html#inheritance-diagram-container", label="ScalaPolyTerm[U, OrScalaPolyRep[U, W]]", id="graph1_4", class="implicit-outgoing class", tooltip="provingground.scalahott.ScalaPolyRep.OrScalaPolyRep can be implicitly con