ace.JsFunc.pairJS.Y" class="extype">Y</span>[<span name="provingground.interface.JsFunc.&lt;refinement&gt;.Z.&lt;local Z&gt;.A" class="extype">A</span>])]</span></span></li><li class="indented0 " name="provingground.interface.JsFunc#strJs" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="strJs:provingground.interface.JsFunc[provingground.translation.Functors.S]"></a><a id="strJs:JsFunc[S]"></a> <span class="permalink"><a href="../../provingground/interface/JsFunc$.html#strJs:provingg