    def ids(self) -> List[int]:
        """Returns a list of integer IDs corresponding to the symbols."""
        ans = list(self._id2sym.keys())
        ans.sort()
        return ans
Returns a list of integer IDs corresponding to the symbols.
text/symbol_table.py