Class Impl

gil/gil.impl.hpp:304–318

namespace _impl_ {
template <typename T> struct Vector {
  template <T... ts> struct Impl {
    template <template <T...> typename W, T... more>
    constexpr auto operator+(W<more...>) const noexcept {
      return Impl<ts..., more...>{};
    }
    template <template <auto> typename V, auto i>
    constexpr auto operator[](V<i>) const noexcept {
      return tfunc::Get<Impl<ts...>, i>{};
    }
    template <template <auto> typename V, auto i, template <auto> typename Y,
              T t>
    constexpr auto operator()(V<i>, Y<t>) const noexcept {
      return tfunc::Set<Impl<ts...>, i, Y<t>>{};
    }
  };
};
} // namespace _impl_