erface.LeanParser.ApplnParseException"><span>ApplnParseException</span></li><li class="in" name="provingground.HoTT.ApplnFailException"><span>ApplnFailException</span></li><li class="in" name="java.lang.IllegalArgumentException"><span>IllegalArgumentException</span></li><li class="in" name="java.lang.RuntimeException"><span>RuntimeException</span></li><li class="in" name="java.lang.Exception"><span>Exception</span></li><li class="in" name="java.lang.Throwable"><span>Throwable</span></li><li class="in" name=