The concept BinaryPredicate is a set of requirements expected by some of the standard library facilities from the user-provided

An OutputIterator is an Iterator that

An InputIterator is an Iterator that

A RandomAccessIterator is a

Any lvalue or rvalue of this type can be swapped with any lvalue or rvalue of some other type, using unqualified function call swap() in the context where both

The Lockable concept extends the B

A FunctionObject type is the type of an object that can be used on the left of the function call operator.

A Callable type is a type, for which the INVOKE operation, as defined by

The Mutex concept extends the Lockable

Requirements A FormattedOutputFunction is a stream output function that performs the following: