round.interface.JsFunc[provingground.translation.Functors.S]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier">implicit </span> <span class="kind">val</span></span> <span class="symbol"><span class="name">strJs</span><span class="result">: <a href="JsFunc.html" name="provingground.interface.JsFunc" id="provingground.interface.JsFunc" class="extype">JsFunc</a>[<a href="../translation/Functors$.html#S[A]=provingground.translation.Functors.C[A,St