Skip to content

Commit b02a8de

Browse files
authored
[range.iota.view] Mark exposition-only concepts as such (#4818)
1 parent a4e40b0 commit b02a8de

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/ranges.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2181,7 +2181,7 @@
21812181
The exposition-only \defexposconcept{decrementable} concept is equivalent to:
21822182
\begin{itemdecl}
21832183
template<class I>
2184-
concept @\defexposconcept{decrementable}@ =
2184+
concept @\defexposconcept{decrementable}@ = // \expos
21852185
@\libconcept{incrementable}@<I> && requires(I i) {
21862186
{ --i } -> @\libconcept{same_as}@<I&>;
21872187
{ i-- } -> @\libconcept{same_as}@<I>;
@@ -2214,7 +2214,7 @@
22142214
The exposition-only \defexposconcept{advanceable} concept is equivalent to:
22152215
\begin{itemdecl}
22162216
template<class I>
2217-
concept @\defexposconcept{advanceable}@ =
2217+
concept @\defexposconcept{advanceable}@ = // \expos
22182218
@\exposconcept{decrementable}@<I> && @\libconcept{totally_ordered}@<I> &&
22192219
requires(I i, const I j, const @\placeholdernc{IOTA-DIFF-T}@(I) n) {
22202220
{ i += n } -> @\libconcept{same_as}@<I&>;

0 commit comments

Comments
 (0)