<span name="y">y: <span name="scala.Predef.ArrowAssoc.→.B" class="extype">B</span></span>)</span><span class="result">: (<a href="" name="provingground.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</