BinaryTypeTrait is a class template that describes a relationship between its two template type parameters with a intergral_constant (typically bool_constant) specialization.
- Takes two template type parameters (additional template parameters are optional and allowed)
- Publicly and unambiguously derived from a specialization of intergral_constant, known as its base characteristic
- The member names of the base characteristic are not hidden and are unambiguously available
The following standard library class templates satisfy