We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f85946b commit e9d0befCopy full SHA for e9d0bef
source/algorithms.tex
@@ -3859,8 +3859,8 @@
3859
\complexity
3860
No applications of the corresponding predicate and projections if:
3861
\begin{itemize}
3862
-\item \tcode{S1} and \tcode{I1} model \libconcept{sized_sentinel_for},
3863
-\item \tcode{S2} and \tcode{I2} model \libconcept{sized_sentinel_for}, and
+\item \tcode{S1} and \tcode{I1} model \tcode{\libconcept{sized_sentinel_for}<S1, I1>},
+\item \tcode{S2} and \tcode{I2} model \tcode{\libconcept{sized_sentinel_for}<S2, I2>}, and
3864
\item \tcode{last1 - first1 != last2 - first2}.
3865
\end{itemize}
3866
Otherwise, exactly \tcode{last1 - first1} applications
0 commit comments