 class="modifier">sealed </span> <span class="kind">trait</span></span> <span class="symbol"><a href="ConstructorPattern$$RecursiveConstructorPattern.html" title="Functional extension of a type pattern"><span class="name">RecursiveConstructorPattern</span></a><span class="tparams">[<span name="Cod">Cod &lt;: <a href="../../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a> with <a href="../../HoTT$$Subs.html" name="provingground.HoTT.Subs" id="provingground.