8namespace di::concepts::detail {
10concept ConstantRing = ConstantVector<T> &&
requires(T
const& clvalue) {
11 { clvalue.head() } -> SameAs<usize>;
12 { clvalue.tail() } -> SameAs<usize>;
13 { clvalue.capacity() } -> SameAs<usize>;
17namespace di::meta::detail {
18template<concepts::detail::ConstantRing T>