dConstructorShape</a></li><li class="current-entities indented2"><a href="IndexedInductiveDefinition$.html" title="" class="object"></a> <a href="IndexedInductiveDefinition.html" title="indexed version of InductiveDefinition" class="class"></a><a href="IndexedInductiveDefinition.html" title="indexed version of InductiveDefinition">IndexedInductiveDefinition</a></li><li class="current-entities indented2"><a href="IndexedIterFuncPtnMap$.html" title="" class="object"></a> <a href="IndexedIterFuncPtnMap.html" t