[unord.req.general] Replace inappropriate "shall be" with "is".

tkoeppe · tkoeppe · commit 6091e2643743 · 2021-06-21T16:36:10.000+01:00
diff --git a/source/containers.tex b/source/containers.tex
@@ -2964,7 +2964,7 @@
   \expects \tcode{b.bucket_count() > 0}.\br
     \returns The index of the bucket in which elements with keys equivalent
     to \tcode{k} would be found, if any such element existed.\br
-    \ensures The return value shall be in the range \tcode{[0, b.bucket_count())}.%
+    \ensures The return value is in the range \tcode{[0, b.bucket_count())}.%
 & Constant
 \\ \rowsep
 %

Original file line number	Diff line number	Diff line change
`@@ -2964,7 +2964,7 @@`
`2964`	`2964`	`\expects \tcode{b.bucket_count() > 0}.\br`
`2965`	`2965`	`\returns The index of the bucket in which elements with keys equivalent`
`2966`	`2966`	`to \tcode{k} would be found, if any such element existed.\br`
`2967`		`- \ensures The return value shall be in the range \tcode{[0, b.bucket_count())}.%`
	`2967`	`+ \ensures The return value is in the range \tcode{[0, b.bucket_count())}.%`
`2968`	`2968`	`& Constant`
`2969`	`2969`	`\\ \rowsep`
`2970`	`2970`	`%`