s</h3><ol><li class="indented0 " name="provingground.induction.coarse.ConstructorDefn#&lt;init&gt;" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(pattern:provingground.induction.coarse.ConstructorPattern[C,U,H],cons:U,W:provingground.HoTT.Typ[H]):provingground.induction.coarse.ConstructorDefn[U,C,H]"></a><a id="&lt;init&gt;:ConstructorDefn[U,C,H]"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/ConstructorDefn.html#&lt;init&gt;(pattern:p