17 Language support library [support]

The header <typeinfo> defines a type associated with type information generated by the implementation.

It also defines two types for reporting dynamic type identification errors.

The header <typeindex> defines a wrapper type for use as an index type in associative containers ([associative]) and in unordered associative containers ([unord]).