di::concepts::detail::MutableRing Concept Reference

#include <di/container/ring/mutable_ring.h>

Concept definition

template<typename T>
concept di::concepts::detail::MutableRing =  MutableVector<T> && ConstantRing<T> && requires(T& lvalue, usize n) {
    { lvalue.assume_head(n) } -> LanguageVoid;
    { lvalue.assume_tail(n) } -> LanguageVoid;
}