ject-companion-class">o</div></a><p id="owner"><a href="index.html" name="provingground" id="provingground" class="extype">provingground</a>.<a href="HoTT$.html" name="provingground.HoTT" id="provingground.HoTT" class="extype">HoTT</a></p><h1><a href="HoTT$$ApplnFailException.html" title="See companion class">ApplnFailException</a><span class="permalink"><a href="../provingground/HoTT$$ApplnFailException$.html" title="Permalink"><i class="material-icons"></i></a></span></h1><h3><span class="morelinks"><d