v name="provingground.HoTT.ApplnFailException" class="parent"><h3>Inherited from <a href="../HoTT$$ApplnFailException.html" name="provingground.HoTT.ApplnFailException" id="provingground.HoTT.ApplnFailException" class="extype">ApplnFailException</a></h3></div><div name="java.lang.IllegalArgumentException" class="parent"><h3>Inherited from <a href="https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/lang/IllegalArgumentException.html#java.lang.IllegalArgumentException" name="java.lang.IllegalAr