est1:provingground.translation.OptRestriction[X1,Y1],implicitrest2:provingground.translation.OptRestriction[X2,Y2]):provingground.translation.OptRestriction[[A](X1[A],X2[A]),[A](Y1[A],Y2[A])]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier">implicit </span> <span class="kind">def</span></span> <span class="symbol"><span class="name">pairRestriction</span><span class="tparams">[<span name="X1">X1<span class="tparams">[<span name="_">_</span>]<