ass="extype">TermList</a>[<span name="provingground.induction.ExstInducStrucs.IndConsSeqExst.Index" class="extype">Index</span>]</span>)</span><span class="result"> extends <a href="ExstInducStrucs.html" name="provingground.induction.ExstInducStrucs" id="provingground.induction.ExstInducStrucs" class="extype">ExstInducStrucs</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.Serializabl