C++ named requirements:BinaryTypeTrait
A BinaryTypeTrait is a class template that describes a relationship between its two template type parameters with a intergral_constant
A BinaryTypeTrait is a class template that describes a relationship between its two template type parameters with a intergral_constant
A BinaryTypeTrait is a class template that describes a relationship between its two template type parameters with a intergral_constant