[iterator.concept.sizedsentinel], [range.sized], [range.view]

Provide proper descriptions for disable_sized_sentinel,
disable_sized_range, and enable_view.

Author: zygoloid

source/iterators.tex

@@ -1456,7 +1456,15 @@
 \end{itemize}
 \end{itemdescr}
 
+\indexlibrary{\idxcode{disable_sized_sentinel}}%
+\begin{itemdecl}
+template<class S, class I>
+  inline constexpr bool disable_sized_sentinel = false;
+\end{itemdecl}
+
+\begin{itemdescr}
 \pnum
+\remarks
 Pursuant to \ref{namespace.std},
 users may specialize \tcode{disable_sized_sentinel}
 for cv-unqualified non-array object types \tcode{S} and \tcode{I}
@@ -1477,6 +1485,7 @@
 \libconcept{RandomAccessIterator}s\iref{iterator.concept.random.access} and by
 counted iterators and their sentinels\iref{counted.iterator}.
 \end{example}
+\end{itemdescr}
 
 \rSec3[iterator.concept.input]{Concept \tcode{InputIterator}}
 

source/ranges.tex

@@ -811,8 +811,17 @@
 is non-amortized, unlike the case for the complexity of the evaluations of
 \tcode{ranges::begin} and \tcode{ranges::end} in the \tcode{Range} concept.
 \end{note}
+\end{itemdescr}
+
+\indexlibrary{\idxcode{disable_sized_range}}%
+\begin{itemdecl}
+template<class>
+  inline constexpr bool disable_sized_range = false;
+\end{itemdecl}
 
+\begin{itemdescr}
 \pnum
+\remarks
 Pursuant to \ref{namespace.std},
 users may specialize \tcode{disable_sized_range}
 for cv-unqualified non-array object types.
@@ -829,6 +838,15 @@
 
 \rSec2[range.view]{Views}
 
+\indexlibrary{\idxcode{View}}%
+\begin{itemdecl}
+template<class T>
+  concept View =
+    Range<T> && Semiregular<T> && enable_view<T>;
+\end{itemdecl}
+
+\begin{itemdescr}
+% FIXME: This should explicitly say when View is modeled.
 \pnum
 The \tcode{View} concept specifies the requirements of a \libconcept{Range} type
 that has constant time copy, move, and assignment operators; that is, the cost of
@@ -852,24 +870,21 @@
 copying the container copies the elements,
 which cannot be done in constant time.
 \end{example}
+\end{itemdescr}
+
+\pnum
+Since the difference between \libconcept{Range} and \libconcept{View} is largely
+semantic, the two are differentiated with the help of \tcode{enable_view}.
 
 \indexlibrary{\idxcode{enable_view}}%
-\indexlibrary{\idxcode{View}}%
 \begin{itemdecl}
 template<class T>
   inline constexpr bool enable_view = @\seebelow@;
-
-template<class T>
-  concept View =
-    Range<T> && Semiregular<T> && enable_view<T>;
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
-Since the difference between \libconcept{Range} and \libconcept{View} is largely
-semantic, the two are differentiated with the help of \tcode{enable_view}.
-
-\pnum
+\remarks
 For a type \tcode{T}, the default value of \tcode{enable_view<T>} is:
 \begin{itemize}