,
 this is used mainly for constructor patterns, with the W being fixed.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.induction.IterFuncPtnMap.IdIterPtnMap" id="provingground.induction.IterFuncPtnMap.IdIterPtnMap" class="extype">IdIterPtnMap</a> → <a href="IterFuncPtnMap.html" name="provingground.induction.IterFuncPtnMap" id="provingground.induction.IterFuncPtnMap" class="extype">IterFuncPtnMap</a></dd></dl></div></li><li class="indented0 " name="sca