id="signature" class="signature"><span class="modifier_kind"><span class="modifier"></span> <span class="kind">class</span></span> <span class="symbol"><span class="name">ApplnParseException</span><span class="result"> extends <a href="../HoTT$$ApplnFailException.html" name="provingground.HoTT.ApplnFailException" id="provingground.HoTT.ApplnFailException" class="extype">ApplnFailException</a></span></span></h4><div id="comment" class="fullcommenttop"><div class="toggleContainer"><div class="toggle block"><s