ngground.interface.JsFunc" class="extype">JsFunc</a>[<span name="provingground.interface.JsFunc.pairJS.Y" class="extype">Y</span>]</span>)</span><span class="result">: <a href="JsFunc.html" name="provingground.interface.JsFunc" id="provingground.interface.JsFunc" class="extype">JsFunc</a>[[A](<span name="provingground.interface.JsFunc.pairJS.X" class="extype">X</span>[<span name="provingground.interface.JsFunc.&lt;refinement&gt;.Z.&lt;local Z&gt;.A" class="extype">A</span>], <span name="provingground.interf