tern[C,T,HC,provingground.HoTT.FuncLike[T,HC],H]withProductwithSerializable"></a><a id="CnstDepFuncPtn[T&lt;:TermwithSubs[T],V&lt;:TermwithSubs[V],VV&lt;:TermwithSubs[VV],C&lt;:TermwithSubs[C],HC&lt;:TermwithSubs[HC],H&lt;:TermwithSubs[H]]:CnstDepFuncPtn[T,V,VV,C,HC,H]"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/ConstructorPattern$$CnstDepFuncPtn.html" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> 