erFuncPattern.IterFuncPtn" class="extype">IterFuncPtn</a>[<span name="provingground.induction.coarse.ConstructorPattern.FuncPtn.H" class="extype">H</span>, <span name="provingground.induction.coarse.ConstructorPattern.FuncPtn.C" class="extype">C</span>, <span name="provingground.induction.coarse.ConstructorPattern.FuncPtn.F" class="extype">F</span>]</span>, <span name="head">head: <a href="ConstructorPattern.html" name="provingground.induction.coarse.ConstructorPattern" id="provingground.induction.coarse.Co