From 7f8629f47639228706f33c5b2241105dbdd2f86a Mon Sep 17 00:00:00 2001
From: Dawn Perchik <dawn@brightsidecomputing.com>
Date: Mon, 13 Nov 2023 22:06:56 -0800
Subject: [PATCH] LWG4001 iota_view should provide empty

---
 source/ranges.tex | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/source/ranges.tex b/source/ranges.tex
index 803e099fba..ed1249036c 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -2685,6 +2685,7 @@
     constexpr auto end() const;
     constexpr @\exposid{iterator}@ end() const requires @\libconcept{same_as}@<W, Bound>;
 
+    constexpr bool empty() const;
     constexpr auto size() const requires @\seebelow@;
   };
 
@@ -2902,6 +2903,17 @@
 Equivalent to: \tcode{return \exposid{iterator}\{\exposid{bound_}\};}
 \end{itemdescr}
 
+\indexlibrarymember{empty}{iota_view}%
+\begin{itemdecl}
+constexpr bool empty() const;
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\effects
+Equivalent to: \tcode{return \exposid{value_} == \exposid{bound_};}
+\end{itemdescr}
+
 \indexlibrarymember{size}{iota_view}%
 \begin{itemdecl}
 constexpr auto size() const requires @\seebelow@;