template <class>
struct iterator_traits;
-// Let `RI` be `remove_cvref_t<I>`. The type `iter_difference_t<I>` denotes
-// `incrementable_traits<RI>::difference_type` if `iterator_traits<RI>` names a specialization
-// generated from the primary template, and `iterator_traits<RI>::difference_type` otherwise.
+// Let `RI` be `remove_cvref_t<I>`. The type `iter_difference_t<I>` denotes
+// `incrementable_traits<RI>::difference_type` if `iterator_traits<RI>` names a specialization
+// generated from the primary template, and `iterator_traits<RI>::difference_type` otherwise.
template <class _Ip>
using iter_difference_t = typename conditional_t<__is_primary_template<iterator_traits<remove_cvref_t<_Ip> > >::value,
incrementable_traits<remove_cvref_t<_Ip> >,
template <class>
struct iterator_traits;
-// Let `RI` be `remove_cvref_t<I>`. The type `iter_value_t<I>` denotes
-// `indirectly_readable_traits<RI>::value_type` if `iterator_traits<RI>` names a specialization
-// generated from the primary template, and `iterator_traits<RI>::value_type` otherwise.
+// Let `RI` be `remove_cvref_t<I>`. The type `iter_value_t<I>` denotes
+// `indirectly_readable_traits<RI>::value_type` if `iterator_traits<RI>` names a specialization
+// generated from the primary template, and `iterator_traits<RI>::value_type` otherwise.
template <class _Ip>
using iter_value_t = typename conditional_t<__is_primary_template<iterator_traits<remove_cvref_t<_Ip> > >::value,
indirectly_readable_traits<remove_cvref_t<_Ip> >,
template<class Out, class T>
concept indirectly_writable = see below; // since C++20
-// [iterator.concept.winc], concept weakly_incrementable
+// [iterator.concept.winc], concept weakly_incrementable
template<class I>
concept weakly_incrementable = see below; // since C++20
template<class I>
concept incrementable = see below; // since C++20
-// [iterator.concept.iterator], concept input_or_output_iterator
+// [iterator.concept.iterator], concept input_or_output_iterator
template<class I>
concept input_or_output_iterator = see below; // since C++20
-// [iterator.concept.sentinel], concept sentinel_for
+// [iterator.concept.sentinel], concept sentinel_for
template<class S, class I>
concept sentinel_for = see below; // since C++20