 class="extype">Try</span>[<a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>]]</span>, <span name="exception">exception: <a href="../../scala/index.html#Throwable=Throwable" name="scala.Throwable" id="scala.Throwable" class="extmbr">Throwable</a></span>)</span><span class="result"> extends <a href="../../scala/index.html#Exception=Exception" name="scala.Exception" id="scala.Exception" class="extmbr">Exception</a> with <span name="scala.Product" 