The differenceable_ concept.  
More...
#include <range/v3/numeric/adjacent_difference.hpp>
template<typename I, typename O, typename BOp, typename P>
        copy_constructible<uncvref_t<invoke_result_t<P&, iter_value_t<I>>>>   &&  
        movable<uncvref_t<invoke_result_t<P&, iter_value_t<I>>>>   &&  
            BOp&,
            invoke_result_t<
                P&,
                iter_value_t<I>>,
                invoke_result_t<P&, iter_value_t<I>>>   &&  
            O,
            invoke_result_t<
                BOp&,
                invoke_result_t<P&, iter_value_t<I>>,
                invoke_result_t<P&, iter_value_t<I>>>>  
The differenceable_ concept.
Definition: adjacent_difference.hpp:44
The invocable concept.
Definition: concepts.hpp:48
The output_iterator concept.
Definition: concepts.hpp:337
The differenceable_ concept.