[mdspan.submdspan.*] Move "otherwise" to front of itemized lists.

Author: burblebee

source/containers.tex

@@ -21510,11 +21510,13 @@
   \begin{itemize}
   \item
   \tcode{M::index_type}
-  if the function is a member of a class \tcode{M}, otherwise
+  if the function is a member of a class \tcode{M},
   \item
+  otherwise,
   \tcode{remove_reference_t<decltype(src)>::index_type}
-  if the function has a parameter named \tcode{src}, otherwise
+  if the function has a parameter named \tcode{src},
   \item
+  otherwise,
   the same type as the function's template argument \tcode{IndexType};
   \end{itemize}
 \item let \tcode{rank} be the number of elements in \tcode{slices};
@@ -21526,8 +21528,9 @@
   \begin{itemize}
   \item
   \tcode{dynamic_extent}
-  if $S_k$ models \tcode{\libconcept{convertible_to}<index_type>}, otherwise
+  if $S_k$ models \tcode{\libconcept{convertible_to}<index_type>},
   \item
+  otherwise,
   the number of types $S_j$ with $j < k$ that
   do not model \tcode{\libconcept{convertible_to}<index_type>}.
   \end{itemize}
@@ -21622,14 +21625,17 @@
 Let $\phi{}_k$ denote the following value:
 \begin{itemize}
 \item
-$s_k$ if $S_k$ models \tcode{\libconcept{convertible_to}<IndexType>}; otherwise
+$s_k$ if $S_k$ models \tcode{\libconcept{convertible_to}<IndexType>};
 \item
+otherwise,
 \tcode{get<0>($s_k$)}
-if $S_k$ models \tcode{\exposconcept{index-pair-like}<IndexType>}; otherwise
+if $S_k$ models \tcode{\exposconcept{index-pair-like}<IndexType>};
 \item
+otherwise,
 \tcode{\exposid{de-ice}($s_k$.offset)}
-if $S_k$ is a specialization of \tcode{strided_slice}; otherwise
+if $S_k$ is a specialization of \tcode{strided_slice};
 \item
+otherwise,
 \tcode{0}.
 \end{itemize}
 
@@ -21708,9 +21714,11 @@
 %FIXME: Also, calling first_ on each $k$ below gives us a set of indeces - how do we assign a set to the src_idx[$k$] above?
 \tcode{\exposid{first_}<IndexType, $k$>(slices...)} for each $k$
 where \tcode{\placeholder{map-rank}[$k$]} equals
-\tcode{dynamic_extent}, otherwise
+\tcode{dynamic_extent},
 
 \item
+%FIXME: How do we fail the previous \item to get here? There's no "if" test to fail.
+otherwise,
 \tcode{\exposid{first_}<IndexType, $k$>(slices...)} \tcode{+}
 \tcode{indices[\placeholder{map-rank}[$k$]]}.
 \end{itemize}
@@ -21797,9 +21805,10 @@
   \tcode{\exposid{de-ice}($S_k$::stride_type())},
   if $S_k$ is a specialization of \tcode{strided_slice} whose
   \tcode{extent_type} and \tcode{stride_type}
-  model \exposconceptx{integral-cons\-tant-like}{integral-constant-like}; otherwise
+  model \exposconceptx{integral-cons\-tant-like}{integral-constant-like};
 
   \item
+  otherwise,
   \tcode{dynamic_extent}.
   \end{itemize}
 \end{itemize}
@@ -21815,12 +21824,13 @@
 \tcode{ext.extent(\placeholder{map-rank}[$k$])} equals
 \tcode{$s_k$.extent == 0 ? 0 : 1 + (\exposid{de-ice}($s_k$.extent) - 1) /}\linebreak{}
 \tcode{\exposid{de-ice}($s_k$.stride)}
-if $S_k$ is a specialization of \tcode{strided_slice}, otherwise
+if $S_k$ is a specialization of \tcode{strided_slice},
 
 \item
+otherwise,
 \tcode{ext.extent(\placeholder{map-rank}[$k$])} equals
 \tcode{\exposid{last_}<$k$>(src, slices...) -}
-\tcode{\exposid{first_}<IndexType, $k$>(\linebreak{}slices...)}.
+\tcode{\exposid{first_}<Index-\linebreak{}Type, $k$>(slices...)}.
 \end{itemize}
 \end{itemdescr}
 
@@ -21898,9 +21908,10 @@
 \item
 \tcode{stride($k$) * \exposid{de-ice}($s_k$.stride)}
 if $S_k$ is a specialization of \tcode{strided_slice} and
-\tcode{$s_k$.stride < $s_k$.extent}; otherwise
+\tcode{$s_k$.stride < $s_k$.extent};
 
 \item
+otherwise,
 \tcode{stride($k$)}.
 \end{itemize}
 
@@ -21918,9 +21929,10 @@
 \begin{itemize}
 \item
 \tcode{submdspan_mapping_result\{*this, 0\}},
-if \tcode{Extents::rank() == 0} is \tcode{true}; otherwise
+if \tcode{Extents::rank() == 0} is \tcode{true};
 
 \item
+otherwise,
 \tcode{submdspan_mapping_result\{layout_left::mapping(sub_ext), offset\}},
 if
   \begin{itemize}
@@ -21932,9 +21944,7 @@
   \item
   for $k$ equal to \tcode{SubExtents::rank() - 1},
   $S_k$ models \tcode{\exposconcept{index-pair-like}<index_type>} or
-%FIXME: Dangling "otherwise" in nested itemized list is lost, reword to move "otherwise" to start of alternate items
   \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true};
-  otherwise
   \end{itemize}
 \begin{note}
 If the above conditions are true,
@@ -21943,6 +21953,7 @@
 \end{note}
 
 \item
+otherwise,
 \tcode{submdspan_mapping_result\{layout_right::mapping(sub_ext), offset\}},
 if
   \begin{itemize}
@@ -21955,8 +21966,7 @@
   \item
   for $k$ equal to \tcode{Extents::rank() - SubExtents::rank()},
   $S_k$ models \tcode{\exposconcept{index-pair-like}<in\-dex_type>} or
-%FIXME: Dangling "otherwise" in nested itemized list is lost
-  \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}; otherwise
+  \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true};
   \end{itemize}
 \begin{note}
 If the above conditions are true,
@@ -21965,7 +21975,8 @@
 \end{note}
 
 \item
-\tcode{submdspan_mapping_result\{layout_stride::mapping(sub_ext, sub_strides), offset\}}.
+otherwise,
+\tcode{submdspan_mapping_result\{layout_stride::mapping(sub_ext, sub_strides),\linebreak{}offset\}}.
 \end{itemize}
 \end{itemdescr}