attern$$IterFuncPtn.html" name="provingground.induction.coarse.IterFuncPattern.IterFuncPtn" id="provingground.induction.coarse.IterFuncPattern.IterFuncPtn" class="extype">IterFuncPtn</a>[<span name="provingground.induction.coarse.ConstructorPattern.DepFuncPtn.H" class="extype">H</span>, <span name="provingground.induction.coarse.ConstructorPattern.DepFuncPtn.C" class="extype">C</span>, <span name="provingground.induction.coarse.ConstructorPattern.DepFuncPtn.F" class="extype">F</span>]</span>, <span name="he