C++ named requirements: UnaryTypeTrait (since C++11)
Min standard notice:
A UnaryTypeTrait is a class template that describes a property of its template type parameter with an std::integral_constant (typically std::bool_constant) specialization.
A UnaryTypeTrait is a class template that describes a property of its template type parameter with an std::integral_constant (typically std::bool_constant) specialization.