3namespace di::concepts::detail {
5concept ConstantVector =
requires(T& lvalue, T
const& clvalue) {
7 typename T::ConstValue;
13namespace di::meta::detail {
14template<concepts::detail::ConstantVector T>
15using VectorValue = T::Value;
17template<concepts::detail::ConstantVector T>
18using VectorConstValue = T::ConstValue;
20template<concepts::detail::ConstantVector T>
21using VectorIterator = T::Value*;
23template<concepts::detail::ConstantVector T>
24using VectorConstIterator = T::ConstValue*;