name="F">F<span class="tparams">[<span name="_">_</span>]</span></span>]</span><span class="params">(<span name="pat">pat: <a href="../translation/Translator$$Pattern.html" name="provingground.translation.Translator.Pattern" id="provingground.translation.Translator.Pattern" class="extype">Pattern</a>[<span name="provingground.interface.JsFunc.toJs.I" class="extype">I</span>, <span name="provingground.interface.JsFunc.toJs.F" class="extype">F</span>]</span>)</span><span class="params">(<span name="name">name