Go to the source code of this file.
This class is used in class table_t for storing names of identifiers.