T.ApplnFailException" id="provingground.HoTT.ApplnFailException" class="extype">ApplnFailException</a></dd></dl></div></li><li class="indented0 " name="java.lang.Throwable#getCause" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="getCause():Throwable"></a> <span class="permalink"><a href="../../provingground/interface/LeanParser$$ApplnParseException.html#getCause():Throwable" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="mod