>provingground</a>.<a href="index.html" name="provingground.interface" id="provingground.interface" class="extype">interface</a>.<a href="LeanParser$.html" name="provingground.interface.LeanParser" id="provingground.interface.LeanParser" class="extype">LeanParser</a></p><h1>ApplnParseException<span class="permalink"><a href="../../provingground/interface/LeanParser$$ApplnParseException.html" title="Permalink"><i class="material-icons"></i></a></span></h1><h3><span class="morelinks"></span></h3></div><h4 