ass="extype">Subs</a>[<span name="provingground.induction.ConstructorSeqTL.H" class="extype">H</span>]</span>, <span name="Intros">Intros &lt;: <span name="shapeless.HList" class="extype">HList</span></span>]</span><span class="params">(<span name="seqDom">seqDom: <a href="ConstructorSeqDom.html" name="provingground.induction.ConstructorSeqDom" id="provingground.induction.ConstructorSeqDom" class="extype">ConstructorSeqDom</a>[<span name="provingground.induction.ConstructorSeqTL.SS" class="extype">SS</span>