"ConstructorSeqMap for an empty sequence of introduction rules">Empty</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="" title="formal symbol for definition data for an induction symbol" class="class"></a><a href="" title="formal symbol for definition data for an induction symbol">InducDataSym</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ConstructorSeqMap$$RecDataSym.html" title="formal symbol for definition data for a recursi