ngground.induction.coarse.ConstructorPattern" id="provingground.induction.coarse.ConstructorPattern" class="extype">ConstructorPattern</a>[<span name="provingground.induction.coarse.ConstructorDefn.C" class="extype">C</span>, <span name="provingground.induction.coarse.ConstructorDefn.U" class="extype">U</span>, <span name="provingground.induction.coarse.ConstructorDefn.H" class="extype">H</span>]</span>, <span name="cons">cons: <span name="provingground.induction.coarse.ConstructorDefn.U" class="extype">U</