pan>, <span name="provingground.induction.coarse.ConstructorDefn.H" class="extype">H</span>] with <span name="scala.Product" class="extype">Product</span> with <a href="../../../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializable" id="scala.Serializable" class="extmbr">Serializable</a></span></span></h4><div id="comment" class="fullcommenttop"><div class="comment cmt"><p>a constructor given by its parameters.
</p></div><dl class="paramcmts block"><dt class="tparam">U</dt><dd class="