cpp/named req/BinaryTypeTrait

A is a class template that describes a relationship between its two template type parameters with a  (typically ) specialization.

Requirements

 * and
 * Takes two template type parameters (additional template parameters are optional and allowed)
 * Publicly and unambiguously derived from a specialization of, known as its base characteristic
 * The member names of the base characteristic are not hidden and are unambiguously available

Standard library
The following standard library class templates satisfy.