/induction/IndexedConstructorShape$$IndexedIndexedFuncConsShape$.html" name="provingground.induction.IndexedConstructorShape.IndexedIndexedFuncConsShape" id="provingground.induction.IndexedConstructorShape.IndexedIndexedFuncConsShape" class="extype">IndexedIndexedFuncConsShape</a>.type, <span name="shapeless.HNil" class="extype">HNil</span>]]], <span name="shapeless.HNil" class="extype">HNil</span>]], <a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Ter