span></span> <span class="symbol"><span class="name">Empty</span><span class="tparams">[<span name="I">I</span>, <span name="O">O</span>]</span><span class="params">()</span><span class="result"> extends <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>, <span name="provingground.translation.Translator.Empty.O" class="extype">O</span>] 