onstructorSeq" id="provingground.induction.coarse.ConstructorSeq" class="extype">ConstructorSeq</a>[<span name="provingground.induction.coarse.ConstructorSeq.fold.C" class="extype">C</span>, <span name="provingground.induction.coarse.ConstructorSeq.fold.H" class="extype">H</span>]</span></span></li><li class="indented0 " name="scala.AnyRef#getClass" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="getClass():Class[_]"></a><a id="getClass():Class[_&lt;:AnyRef]"></a> <span class="perm