тест partial_sums и adjacent_differences для типов без конструкторов без аргументов
1. "прозрачная" реализация оператора * для последовательности на основе выходного итератора

2. некоторая документация
документация
1. Требования в концепциях последовательностей.

2. sequence_base определяет постфиксный оператор ++
3. наследование от sequence_base для некоторых последовательностей
1. for_each и function_output_sequence

2. документация