std::binary_negate man page

typedef _Predicate::first_argument_type first_argument_typefirst_argument_type is the type of the first argument typedef bool result_typeresult_type is the return type typedef _Predicate::second_argument_type second_argument_typesecond_argument_type is the type of the second argument