on" id="provingground.induction" class="extype">induction</a> instead
</p></div><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 indented2"><a href="ConstructorPatternMap$.html" title="" class="object"></a> <a href="ConstructorPatternMap.html" title="Introduction rule for an inductive type, as in ConstructorShape with the scala type of the c