="provingground.interface.LeanParser.ApplnParseException (this class)"] ;
}
  
  
  
}
  
  
  node1 [URL="../HoTT$$ApplnFailException.html#inheritance-diagram-container", label="ApplnFailException", id="graph1_1", class="default", tooltip="provingground.HoTT.ApplnFailException"] ;
  node1 -> node0 [arrowtail="empty", dir="back", id="graph1_1_0", class="inheritance", tooltip="ApplnParseException is a subtype of ApplnFailException"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function()