template<class F, class T, class I, class U>
movable<T> &&
movable<U> &&
convertible_to<T, U> &&
assignable_from<U&, invoke_result_t<F&, U, iter_reference_t<I>>>
The indirectly_binary_left_foldable_impl concept.
Definition: fold_left.hpp:32
The invocable concept.
Definition: concepts.hpp:48
The indirectly_binary_left_foldable_impl
concept.