tml" name="provingground.HoTT.Typ" id="provingground.HoTT.Typ" class="extype">Typ</a>[<span name="provingground.scalahott.ScalaUniv.FineSymbTyp.U" class="extype">U</span>]], <a href="../../scala/index.html#AnyRef=Object" name="scala.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a>, <span name="scala.Any" class="extype">Any</span></div></div></div><div id="inheritance-diagram-container" class="toggleContainer block diagram-container"><span class="toggle diagram-link">Type Hierarchy</span><div id="inherita