P2389R2 dextents Index Type Parameter

Author: burblebee

source/containers.tex

@@ -19056,6 +19056,10 @@
   template<class IndexType, size_t Rank>
     using dextents = @\seebelow@;
 
+  // \ref{mdspan.extents.dims}, alias template \tcode{dims}
+  template<size_t Rank, class IndexType = size_t>
+    using dims = @\seebelow@;
+
   // \ref{mdspan.layout}, layout mapping
   struct layout_left;
   struct layout_right;
@@ -19514,6 +19518,22 @@
 \tcode{E::index_type} denotes \tcode{IndexType}.
 \end{itemdescr}
 
+\rSec4[mdspan.extents.dims]{Alias template \tcode{dims}}
+
+\indexlibraryglobal{dims}%
+\begin{itemdecl}
+template<size_t Rank, class IndexType = size_t>
+  using dims = @\seebelow@;
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\result
+A type \tcode{E} that is a specialization of \tcode{extents}
+such that \tcode{E::rank() == Rank \&\& E::rank() == E::rank_dynamic()} is \tcode{true}, and
+\tcode{E::index_type} denotes \tcode{IndexType}.
+\end{itemdescr}
+
 \rSec3[mdspan.layout]{Layout mapping}
 
 \rSec4[mdspan.layout.general]{General}

source/support.tex

@@ -712,7 +712,7 @@
 #define @\defnlibxname{cpp_lib_map_try_emplace}@                   201411L // also in \libheader{map}
 #define @\defnlibxname{cpp_lib_math_constants}@                    201907L // also in \libheader{numbers}
 #define @\defnlibxname{cpp_lib_math_special_functions}@            201603L // also in \libheader{cmath}
-#define @\defnlibxname{cpp_lib_mdspan}@                            202207L // also in \libheader{mdspan}
+#define @\defnlibxname{cpp_lib_mdspan}@                            202406L // also in \libheader{mdspan}
 #define @\defnlibxname{cpp_lib_memory_resource}@                   201603L // also in \libheader{memory_resource}
 #define @\defnlibxname{cpp_lib_modules}@                           202207L // freestanding
 #define @\defnlibxname{cpp_lib_move_iterator_concept}@             202207L // freestanding, also in \libheader{iterator}