constexpr explicit cartesian_product_view(First first_base, Vs... bases);
constexpr iterator<false> begin()
requires (!simple-view<First> || ... || !simple-view<Vs>);
constexpr iterator<false> end()
requires ((!simple-view<First> || ... || !simple-view<Vs>)
&& cartesian-product-is-common<First, Vs...>);
constexpr iterator<true> end() const
requires cartesian-product-is-common<const First, const Vs...>;
constexpr default_sentinel_t end() const noexcept;
constexpr see below size()
requires cartesian-product-is-sized<First, Vs...>;
constexpr see below size() const
requires cartesian-product-is-sized<const First, const Vs...>;
template<size_t N = sizeof...(Vs)>
constexpr void prev();
template<class Tuple>
constexpr difference_type distance-from(const Tuple& t) const;
constexpr iterator(Parent& parent, tuple<iterator_t<maybe-const<Const, First>>,
iterator_t<maybe-const<Const, Vs>>...> current);
constexpr iterator(iterator<!Const> i) requires Const &&
(convertible_to<iterator_t<First>, iterator_t<const First>> &&
... && convertible_to<iterator_t<Vs>, iterator_t<const Vs>>);
constexpr auto operator*() const;
constexpr iterator& operator++();
constexpr void operator++(int);
constexpr iterator operator++(int) requires forward_range<maybe-const<Const, First>>;
constexpr iterator& operator--()
requires cartesian-product-is-bidirectional<Const, First, Vs...>;
constexpr iterator operator--(int)
requires cartesian-product-is-bidirectional<Const, First, Vs...>;
constexpr iterator& operator+=(difference_type x)
requires cartesian-product-is-random-access<Const, First, Vs...>;
constexpr iterator& operator-=(difference_type x)
requires cartesian-product-is-random-access<Const, First, Vs...>;
constexpr reference operator[](difference_type n) const
requires cartesian-product-is-random-access<Const, First, Vs...>;
friend constexpr bool operator==(const iterator& x, const iterator& y)
requires equality_comparable<iterator_t<maybe-const<Const, First>>>;
friend constexpr bool operator==(const iterator& x, default_sentinel_t);
friend constexpr auto operator<=>(const iterator& x, const iterator& y)
requires all-random-access<Const, First, Vs...>;
friend constexpr iterator operator+(const iterator& x, difference_type y)
requires cartesian-product-is-random-access<Const, First, Vs...>;
friend constexpr iterator operator+(difference_type x, const iterator& y)
requires cartesian-product-is-random-access<Const, First, Vs...>;
friend constexpr iterator operator-(const iterator& x, difference_type y)
requires cartesian-product-is-random-access<Const, First, Vs...>;
friend constexpr difference_type operator-(const iterator& x, const iterator& y)
requires cartesian-is-sized-sentinel<Const, iterator_t, First, Vs...>;
friend constexpr difference_type operator-(const iterator& i, default_sentinel_t)
requires cartesian-is-sized-sentinel<Const, sentinel_t, First, Vs...>;
friend constexpr difference_type operator-(default_sentinel_t s, const iterator& i)
requires cartesian-is-sized-sentinel<Const, sentinel_t, First, Vs...>;
friend constexpr auto iter_move(const iterator& i) noexcept(see below);
friend constexpr void iter_swap(const iterator& l, const iterator& r) noexcept(see below)
requires (indirectly_swappable<iterator_t<maybe-const<Const, First>>> && ... &&
indirectly_swappable<iterator_t<maybe-const<Const, Vs>>>);