TT.Subs[H]]extendsConstructorPattern[Cod,CT,H]"></a><a id="RecursiveConstructorPattern[Cod&lt;:TermwithSubs[Cod],ArgT&lt;:TermwithSubs[ArgT],HeadT&lt;:TermwithSubs[HeadT],CT&lt;:FuncLike[ArgT,HeadT]withSubs[CT],H&lt;:TermwithSubs[H]]:RecursiveConstructorPattern[Cod,ArgT,HeadT,CT,H]"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/ConstructorPattern$$RecursiveConstructorPattern.html" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span