 (<span name="provingground.translation.Translator.Empty.I" class="extype">I</span>) =&gt; <span name="scala.None" class="extype">None</span>.type</span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.translation.Translator.Empty" id="provingground.translation.Translator.Empty" class="extype">Empty</a> → <a href="Translator.html" name="provingground.translation.Translator" id="provingground.translation.Translator" class="extype">Tr