: <span name="scala.Predef.String" class="extype">String</span></span>, <span name="header">header: <span name="scala.Predef.String" class="extype">String</span> = <span class="symbol">"intro"</span></span>)</span><span class="params">(<span class="implicit">implicit </span><span name="jsF">jsF: <a href="JsFunc.html" name="provingground.interface.JsFunc" id="provingground.interface.JsFunc" class="extype">JsFunc</a>[<span name="provingground.interface.JsFunc.toJs.F" class="extype">F</span>]</span>)</span><sp