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

An OutputIterator is an Iterator that

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 Mutex concept extends the Lockable

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

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.

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

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

A RandomAccessIterator is a