. As we will show, these
classes can be used in generic programming to determine the
properties of a given type and introduce optimisations that are
appropriate for that case.</p>

<p>The type-traits library also contains a set of classes that
perform a specific transformation on a type; for example, they
can remove a top-level const or volatile qualifier from a type.
Each class that performs a transformation defines a single
typedef-member <i>type</i> that is the result of the
transformation. All of the ty