mixing in cases, defaults to a formal application by itself" class="trait"></a><a href="InductiveDefinition.html" title="inductively defined dependent function, to be built by mixing in cases, defaults to a formal application by itself">InductiveDefinition</a></li><li class="current-entities indented2"><a href="IterFuncMapper$.html" title="" class="object"></a> <a href="IterFuncMapper.html" title="Given the scala type of the codomain, lifts IterFuncShape to IterFuncMapper" class="trait"></a><a href="IterFun