std::experimental::ranges::SizedRange - cppreference.com (original) (raw)
template< class T >
concept bool SizedRange =
Range<T> &&<std::remove_cv_t<std::remove_reference_t<T>>> &&
requires(T& t) {
{ ranges::size(t) }
-> ConvertibleTo<ranges::difference_type_t<ranges::iterator_t<T>>>;
};