="Permalink"><i class="material-icons"></i></a></span></h1><h3><span class="morelinks"></span></h3></div><h4 id="signature" class="signature"><span class="modifier_kind"><span class="modifier"></span> <span class="kind">case class</span></span> <span class="symbol"><span class="name">IndConsSeqExst</span><span class="tparams">[<span name="SS">SS &lt;: <span name="shapeless.HList" class="extype">HList</span></span>, <span name="H">H &lt;: <a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="pro