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

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 concept BinaryPredicate is a set of requirements expected by some of the standard library facilities from the user-provided

The Lockable concept extends the B

An InputIterator is an Iterator that

Specifies that an instance of the type can be copy-assigned from an

The Mutex concept extends the Lockable

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

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

Specifies that an instance of the type can be copy-constructed from an