,O]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">def</span></span> <span class="symbol"><span class="name" title="gt4s: $bar$bar$colon">||:</span><span class="params">(<span name="that">that: <a href="Translator.html" name="provingground.translation.Translator" id="provingground.translation.Translator" class="extype">Translator</a>[<span name="provingground.translation.Translator.Empty.I" class="extype">I</span>