 ConstructorSeqMap">Cons</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ConstructorSeqMap$$ConsIndException.html" title="" class="class"></a><a href="ConstructorSeqMap$$ConsIndException.html" title="">ConsIndException</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ConstructorSeqMap$$Empty.html" title="ConstructorSeqMap for an empty sequence of introduction rules" class="class"></a><a href="ConstructorSeqMap$$Empty.html" title=