[ranges] Add missing "is true"s to \expects

Author: CaseyCarter

source/ranges.tex

@@ -1409,7 +1409,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{!empty()}.
+\tcode{!empty()} is \tcode{true}.
 
 \pnum
 \effects
@@ -1426,7 +1426,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{!empty()}.
+\tcode{!empty()} is \tcode{true}.
 
 \pnum
 \effects
@@ -1598,7 +1598,8 @@
 \pnum
 \expects
 \range{i}{s} is a valid range, and
-\tcode{n == \placeholdernc{to-unsigned-like}(ranges::distance(i, s))}.
+\tcode{n == \placeholdernc{to-unsigned-like}(ranges::distance(i, s))}
+is \tcode{true}.
 
 \pnum
 \effects
@@ -3243,7 +3244,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{pred_.has_value()}.
+\tcode{pred_.has_value()} is \tcode{true}.
 
 \pnum
 \returns