di::container::detail::IotaDecrementable Concept Reference

#include <di/container/view/iota_view.h>

Concept definition

template<typename T>
concept di::container::detail::IotaDecrementable =  IotaIncrementable<T> && requires(T i) {
        { --i } -> concepts::SameAs<T&>;
        { i-- } -> concepts::SameAs<T>;
    }