ef="ConstructorPattern.html" name="provingground.induction.coarse.ConstructorPattern" id="provingground.induction.coarse.ConstructorPattern" class="extype">ConstructorPattern</a>[<span name="provingground.induction.coarse.ConstructorPattern.RecursiveConstructorPattern.Cod" class="extype">Cod</span>, <span name="provingground.induction.coarse.ConstructorPattern.RecursiveConstructorPattern.CT" class="extype">CT</span>, <span name="provingground.induction.coarse.ConstructorPattern.RecursiveConstructorPattern.H