tern" 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><p class="shortcomment cmt">constructor-pattern for the constructor
</p><div class="fullcomment"><div class="comment cmt"><p>constructor-pa