rovingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a></span>, <span name="value">value: <span name="provingground.Context.Defn.U" class="extype">U</span></span>)</span><span class="result"> extends <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="fullcommenttop"><div class="toggleContai