d.scalahott.ScalaPolyRep[U,W]):provingground.scalahott.ScalaPolyRep.OrScalaPolyRep[U,W]"></a><a id="||(ScalaPolyRep[RepTerm[Vector[Int]],Vector[Int]]):OrScalaPolyRep[RepTerm[Vector[Int]],Vector[Int]]"></a> <span class="permalink"><a href="../../provingground/scalahott/IntVector$$IntVecRep$.html#||(that:provingground.scalahott.ScalaPolyRep[U,W]):provingground.scalahott.ScalaPolyRep.OrScalaPolyRep[U,W]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="mod