cpp/named req/TransformationTrait

A is a class template that provides a transformation of its template type parameter.

Requirements

 * Takes one template type parameter (additional template parameters are optional and allowed)
 * The transformed type is a publicly accessible nested type named

Standard library
The type modifications and transformations all satisfy.

The following standard library class templates also satisfy.