 title=""><span class="name">IndexedConstructorShape</span></a></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="index.html" name="provingground.induction" id="provingground.induction" class="extype">induction</a></dd></dl></div></li><li class="current-entities indented3"><a href="IndexedConstructorShape$$IndexedCnstDepFuncConsShape$.html" title="" class="object"></a> <a href="IndexedConstructorShape$$IndexedCnstDepFuncConsShape.html" title="" class="class"