@@ -21735,10 +21735,10 @@
21735
21735
For each rank index $k$ of \tcode{src.extents()},
21736
21736
exactly one of the following is true:
21737
21737
\begin{itemize}
21738
- \item $S_k$ models \tcode{\libconcept{convertible_to}<IndexType>}
21739
- \item $S_k$ models \tcode{\exposconcept{index-pair-like}<IndexType>}
21740
- \item \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}
21741
- \item $S_k$ is a specialization of \tcode{strided_slice}
21738
+ \item $S_k$ models \tcode{\libconcept{convertible_to}<IndexType>},
21739
+ \item $S_k$ models \tcode{\exposconcept{index-pair-like}<IndexType>},
21740
+ \item \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}, or
21741
+ \item $S_k$ is a specialization of \tcode{strided_slice}.
21742
21742
\end{itemize}
21743
21743
21744
21744
\pnum
@@ -21859,10 +21859,10 @@
21859
21859
For each rank index $k$ of \tcode{extents()},
21860
21860
exactly one of the following is true:
21861
21861
\begin{itemize}
21862
- \item $S_k$ models \tcode{\libconcept{convertible_to}<index_type>}
21863
- \item $S_k$ models \tcode{\exposconcept{index-pair-like}<index_type>}
21864
- \item \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}
21865
- \item $S_k$ is a specialization of \tcode{strided_slice}
21862
+ \item $S_k$ models \tcode{\libconcept{convertible_to}<index_type>},
21863
+ \item $S_k$ models \tcode{\exposconcept{index-pair-like}<index_type>},
21864
+ \item \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}, or
21865
+ \item $S_k$ is a specialization of \tcode{strided_slice}.
21866
21866
\end{itemize}
21867
21867
21868
21868
\pnum
@@ -22020,10 +22020,10 @@
22020
22020
For each rank index $k$ of \tcode{src.extents()},
22021
22021
exactly one of the following is true:
22022
22022
\begin{itemize}
22023
- \item $S_k$ models \tcode{\libconcept{convertible_to}<index_type>}
22024
- \item $S_k$ models \tcode{\exposconcept{index-pair-like}<index_type>}
22025
- \item \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}
22026
- \item $S_k$ is a specialization of \tcode{strided_slice}
22023
+ \item $S_k$ models \tcode{\libconcept{convertible_to}<index_type>},
22024
+ \item $S_k$ models \tcode{\exposconcept{index-pair-like}<index_type>},
22025
+ \item \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}, or
22026
+ \item $S_k$ is a specialization of \tcode{strided_slice}.
22027
22027
\end{itemize}
22028
22028
\end{itemize}
22029
22029
0 commit comments