From ce4fdd150b1acb626731fbece38f3379e123a834 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sun, 16 Nov 2025 13:10:36 +0100
Subject: [PATCH 1/2] [mdspan.layout.leftpad.cons] Add missing \exposid around
 "index-cast"

---
 source/containers.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/containers.tex b/source/containers.tex
index d2db2ed385..1a6b2915d7 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -23196,7 +23196,7 @@
 \item
 \tcode{pad} is representable as a value of type \tcode{index_type}.
 \item
-\tcode{extents_type::index-cast(pad)} is greater than zero.
+\tcode{extents_type::\exposid{index-cast}(pad)} is greater than zero.
 \item
 If \exposid{rank_} is greater than one,
 then \tcode{\exposid{LEAST-MULTIPLE-AT-LEAST}(pad, ext.extent(0))}

From 3b6241a6805db198ce03a301e24e21caa975dbcd Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sun, 16 Nov 2025 13:11:37 +0100
Subject: [PATCH 2/2] [mdspan.sub.map.rightpad] Add missing \exposid around
 "submdspan-mapping-impl"

---
 source/containers.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/containers.tex b/source/containers.tex
index 1a6b2915d7..92809c8481 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -25931,7 +25931,7 @@
 \begin{itemdecl}
 template<class Extents>
 template<class... SliceSpecifiers>
-constexpr auto layout_right_padded::mapping<Extents>::submdspan-mapping-impl(
+constexpr auto layout_right_padded::mapping<Extents>::@\exposid{submdspan-mapping-impl}@(
     SliceSpecifiers... slices) const -> @\seebelow@;
 \end{itemdecl}