From f367a11a48435eaaa9f058a132f9744bf7076e10 Mon Sep 17 00:00:00 2001
From: Dawn Perchik <dawn@brightsidecomputing.com>
Date: Mon, 1 Jul 2024 23:14:01 -0700
Subject: [PATCH] P2389R2 dextents Index Type Parameter

---
 source/containers.tex | 20 ++++++++++++++++++++
 source/support.tex    |  2 +-
 2 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/source/containers.tex b/source/containers.tex
index f0438c0702..26688a256f 100644
--- a/source/containers.tex
+++ b/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}
diff --git a/source/support.tex b/source/support.tex
index cfcc7e0a57..f7a76d7893 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -713,7 +713,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}