            <a href="Enums/ExpressionPatternType.html">ExpressionPatternType</a>
              </li>
              <li class="nav-group-task">
                <a href="Enums/InequalitySign.html">InequalitySign</a>
              </li>
              <li class="nav-group-task">
                <a href="Enums/InternalPattern.html">InternalPattern</a>
              </li>
              <li class="nav-group-task">
                <a href="Enums/LoadedTranslationType.html">LoadedTranslationType</a>
              </