tructorSeq.Empty.H" class="extype">H</span>] to<span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.induction.coarse.ConstructorSeq.Empty" id="provingground.induction.coarse.ConstructorSeq.Empty" class="extype">Empty</a>[<span name="provingground.induction.coarse.ConstructorSeq.Empty.C" class="extype">C</span>, <span name="provingground.induction.coarse.ConstructorSeq.Empty.H" class="extype">H</span>]] performed by method Ensuring in scala.Predef.</dd><dt>Definiti