/// Source files (stored together with a name).
pubmodsource_file;/// Code spans (which reference to a source file)
pubmodspan;/// Character classes describe sets of characters
/// (with ranges, or actual sets, or logical relations between sets).
pubmodcharacter_class;