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