[iterators] Add colon after 'model ... only if' when complete sentences follow

Author: jensmaurer

source/iterators.tex

@@ -1338,7 +1338,7 @@
 \pnum
 Let \tcode{E} be an expression such that \tcode{decltype((E))} is \tcode{T},
 and let \tcode{o} be a dereferenceable object of type \tcode{Out}.
-\tcode{Out} and \tcode{T} model \tcode{\libconcept{indirectly_writable}<Out, T>} only if
+\tcode{Out} and \tcode{T} model \tcode{\libconcept{indirectly_writable}<Out, T>} only if:
 \begin{itemize}
 \item If \tcode{Out} and \tcode{T} model
   \tcode{\libconcept{indirectly_readable}<Out> \&\& \libconcept{same_as}<iter_value_t<Out>, decay_t<T>>},
@@ -1544,7 +1544,7 @@
 \pnum
 Let \tcode{i} be an object of type \tcode{I}. When \tcode{i} is in the domain of
 both pre- and post-increment, \tcode{i} is said to be \defn{incrementable}.
-\tcode{I} models \tcode{\libconcept{weakly_incrementable}<I>} only if
+\tcode{I} models \tcode{\libconcept{weakly_incrementable}<I>} only if:
 \begin{itemize}
 \item The expressions \tcode{++i} and \tcode{i++} have the same domain.
 \item If \tcode{i} is incrementable, then both \tcode{++i}
@@ -1591,7 +1591,7 @@
 
 \pnum
 Let \tcode{a} and \tcode{b} be incrementable objects of type \tcode{I}.
-\tcode{I} models \libconcept{incrementable} only if
+\tcode{I} models \libconcept{incrementable} only if:
 \begin{itemize}
 \item If \tcode{bool(a == b)} then \tcode{bool(a++ == b)}.
 \item If \tcode{bool(a == b)} then \tcode{bool(((void)a++, a) == ++b)}.
@@ -1654,7 +1654,7 @@
 \pnum
 Let \tcode{s} and \tcode{i} be values of type \tcode{S} and
 \tcode{I} such that \range{i}{s} denotes a range. Types
-\tcode{S} and \tcode{I} model \tcode{\libconcept{sentinel_for}<S, I>} only if
+\tcode{S} and \tcode{I} model \tcode{\libconcept{sentinel_for}<S, I>} only if:
 \begin{itemize}
 \item \tcode{i == s} is well-defined.
 
@@ -1699,7 +1699,7 @@
 a sentinel of type \tcode{S} such that \range{i}{s} denotes a range.
 Let $N$ be the smallest number of applications of \tcode{++i}
 necessary to make \tcode{bool(i == s)} be \tcode{true}.
-\tcode{S} and \tcode{I} model \tcode{\libconcept{sized_sentinel_for}<S, I>} only if
+\tcode{S} and \tcode{I} model \tcode{\libconcept{sized_sentinel_for}<S, I>} only if:
 \begin{itemize}
 \item If $N$ is representable by \tcode{iter_difference_t<I>},
       then \tcode{s - i} is well-defined and equals $N$.
@@ -1872,7 +1872,7 @@
 
 \pnum
 Let \tcode{a} and \tcode{b} be equal objects of type \tcode{I}.
-\tcode{I} models \libconcept{bidirectional_iterator} only if
+\tcode{I} models \libconcept{bidirectional_iterator} only if:
 \begin{itemize}
 \item If \tcode{a} and \tcode{b} are decrementable,
   then all of the following are \tcode{true}:
@@ -1918,7 +1918,7 @@
 after \tcode{n} applications of \tcode{++a},
 let \tcode{D} be \tcode{iter_difference_t<I>},
 and let \tcode{n} denote a value of type \tcode{D}.
-\tcode{I} models \libconcept{random_access_iterator} only if
+\tcode{I} models \libconcept{random_access_iterator} only if:
 \begin{itemize}
 \item \tcode{(a += n)} is equal to \tcode{b}.
 \item \tcode{addressof(a += n)} is equal to \tcode{addressof(a)}.