    def symbols(self) -> List[Symbol]:
        """Returns a list of symbols (e.g., strings) corresponding to
        the integer IDs.
        """
        ans = list(self._sym2id.keys())
        ans.sort()
        return ans
Returns a list of symbols (e.g., strings) corresponding to
the integer IDs.
text/symbol_table.py