|  | 
| 18945 | 18945 | 
 | 
| 18946 | 18946 | \pnum | 
| 18947 | 18947 | An integer $r$ is a \defn{rank index} of an index space $S$ | 
| 18948 |  | -if $r$ is in the range $[0, \text{rank of $S$})$. | 
|  | 18948 | +if $r$ is in the range $[0, \text{rank of }S)$. | 
| 18949 | 18949 | 
 | 
| 18950 | 18950 | \pnum | 
| 18951 | 18951 | A pack of integers \tcode{idx} is | 
| @@ -21748,13 +21748,13 @@ | 
| 21748 | 21748 | \item | 
| 21749 | 21749 | if $S_k$ is a specialization of \tcode{strided_slice} | 
| 21750 | 21750 |   \begin{itemize} | 
| 21751 |  | -  \item $\tcode{$s_k$.extent = 0}$, or | 
| 21752 |  | -  \item $\tcode{$s_k$.stride > 0}$ | 
|  | 21751 | +  \item $s_k\tcode{.extent} = 0$, or | 
|  | 21752 | +  \item $s_k\tcode{.stride} > 0$ | 
| 21753 | 21753 |   \end{itemize} | 
| 21754 | 21754 | \item | 
| 21755 |  | -$0 \le \tcode{\exposid{first_}<IndexType, $k$>(slices...)}$ | 
| 21756 |  | -$\le \tcode{\exposid{last_}<$k$>(src, slices...)}$ | 
| 21757 |  | -$\le \tcode{src.extent($k$)}$ | 
|  | 21755 | +$0 \le \exposid{first_}\tcode{<IndexType, }k\tcode{>(slices...)}$ | 
|  | 21756 | +$\le \exposid{last_}\tcode{<}k\tcode{>(src, slices...)}$ | 
|  | 21757 | +$\le \tcode{src.extent(}k\tcode{)}$ | 
| 21758 | 21758 | \end{itemize} | 
| 21759 | 21759 | 
 | 
| 21760 | 21760 | \pnum | 
| @@ -21871,13 +21871,13 @@ | 
| 21871 | 21871 | \item | 
| 21872 | 21872 | if $S_k$ is a specialization of \tcode{strided_slice} | 
| 21873 | 21873 |   \begin{itemize} | 
| 21874 |  | -  \item $\tcode{$s_k$.extent} = 0$, or | 
| 21875 |  | -  \item $\tcode{$s_k$.stride} > 0$ | 
|  | 21874 | +  \item $s_k\tcode{.extent} = 0$, or | 
|  | 21875 | +  \item $s_k\tcode{.stride} > 0$ | 
| 21876 | 21876 |   \end{itemize} | 
| 21877 | 21877 | \item | 
| 21878 |  | -$0            \le \tcode{\exposid{first_}<index_type, $k$>(slices...)} \\ | 
| 21879 |  | -\hphantom{0 } \le \tcode{\exposid{last_}<$k$>(extents(), slices...)} \\ | 
| 21880 |  | -\hphantom{0 } \le \tcode{extents().extent($k$)}$ | 
|  | 21878 | +$0            \le \exposid{first_}\tcode{<index_type, }k\tcode{>(slices...)} \\ | 
|  | 21879 | +\hphantom{0 } \le \exposid{last_}\tcode{<}k\tcode{>(extents(), slices...)} \\ | 
|  | 21880 | +\hphantom{0 } \le \tcode{extents().extent(}k\tcode{)}$ | 
| 21881 | 21881 | \end{itemize} | 
| 21882 | 21882 | 
 | 
| 21883 | 21883 | \pnum | 
| @@ -22036,13 +22036,13 @@ | 
| 22036 | 22036 |   \item | 
| 22037 | 22037 |   if $S_k$ is a specialization of \tcode{strided_slice} | 
| 22038 | 22038 |     \begin{itemize} | 
| 22039 |  | -    \item $\tcode{$s_k$.extent} = 0$, or | 
| 22040 |  | -    \item $\tcode{$s_k$.stride} > 0$ | 
|  | 22039 | +    \item $s_k\tcode{.extent} = 0$, or | 
|  | 22040 | +    \item $s_k\tcode{.stride} > 0$ | 
| 22041 | 22041 |     \end{itemize} | 
| 22042 | 22042 |   \item | 
| 22043 |  | -  $0 \le \tcode{\exposid{first_}<index_type, $k$>(slices...)}$ | 
| 22044 |  | -  $\le \tcode{\exposid{last_}<$k$>(src.extents(), slices...)}$ | 
| 22045 |  | -  $\le \tcode{\linebreak{}src.extent($k$)}$ | 
|  | 22043 | +  $0 \le \exposid{first_}\tcode{<index_type, }k\tcode{>(slices...)} | 
|  | 22044 | +  \le \exposid{last_}\tcode{<}k\tcode{>(src.extents(), slices...)} | 
|  | 22045 | +  \le \tcode{src.extent(}k\tcode{)}$ | 
| 22046 | 22046 |   \end{itemize} | 
| 22047 | 22047 | 
 | 
| 22048 | 22048 | \item | 
|  | 
0 commit comments