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

An InputIterator is an Iterator that

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

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

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

The Mutex concept extends the Lockable

An OutputIterator is an Iterator that

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