ovingground.induction.ConstructorSeqTL" id="provingground.induction.ConstructorSeqTL" class="extype">ConstructorSeqTL</a>[<span name="provingground.induction.ConstructorSeqTL.SS" class="extype">SS</span>, <span name="provingground.induction.ConstructorSeqTL.H" class="extype">H</span>, <span name="provingground.induction.ConstructorSeqTL.Intros" class="extype">Intros</span>], <span name="scala.Predef.ArrowAssoc.-&gt;.B" class="extype">B</span>)</span></span><div class="fullcomment"><dl class="attributes bloc