tion.Translator.Empty.O" class="extype">O</span>]) =&gt; <span name="scala.Function1.andThen.A" class="extype">A</span></span>)</span><span class="result">: (<span name="provingground.translation.Translator.Empty.I" class="extype">I</span>) =&gt; <span name="scala.Function1.andThen.A" class="extype">A</span></span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd>Function1</dd><dt>Annotations</dt><dd><span class="name">@unspecialized</span><span class="args">()</spa