">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></li><li class="indented0 " name="provingground.induction.coarse.ConstructorPattern.CnstFncPtn" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="CnstFncPtn[T&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[T],Cod&lt;:provingground.HoTT.T