rser.Logger"></a><a id="dispatch((String)=&gt;Unit):Logger"></a> <span class="permalink"><a href="../../provingground/interface/LeanParser$$Logger$.html#dispatch(send:String=&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">dispatch</span><span class="params">(<span name="send">send: (<span name="scala.Predef