C++ named requirements: BinaryTypeTrait (since C++11)
Min standard notice:
A BinaryTypeTrait is a class template that describes a relationship between its two template type parameters with a std::integral_constant (typically std::bool_constant) specialization.