Here is a list of all typedefs with links to the classes they belong to:

- d -

• decl_identifierst : goto_programt
• destructor_stackt : goto_convertt
• difference_type : array, table_iterator< IsConst >