ace.LeanParser.Logger"></a><a id="apply((Log)=&gt;Unit):Logger"></a> <span class="permalink"><a href="../../provingground/interface/LeanParser$$Logger$.html#apply(f:provingground.interface.LeanParser.Log=&gt;Unit):provingground.interface.LeanParser.Logger" 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">apply</span><span class="params">(<span name="f">f: (<a 