cpp/named req/BinaryPredicate

is a set of requirements expected by some of the standard library facilities from the user-provided arguments.

Given a  and a pair of iterators  and  or an iterator  and a  value, the expression   or, respectively, , must be contextually convertible to.

In addition, evaluation of that expression is not allowed to call non-const member functions of the dereferenced iterators.

Requirements

 * (unless otherwise specified)
 * (unless otherwise specified)

Standard library
The following standard library facilities expect a which isn't a  type.