template<class Pred> unary_negate<Pred> not1(const Pred& pr);
The template function returns unary_negate<Pred>(pr).
unary_negate
<Pred>(pr)