ngground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</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" class="extype">Product</span> with <a href="../../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializable" id="scala.Serializable" class="extmbr">Serializable</a></span></span></h4><div id="comment" class="fullcommen