cpp/ranges/view interface/empty

The default implementation of member function checks whether the object of the derived type's size is  (if valid), or whether the beginning iterator and the sentinel compare equal.

@1@ Let be a reference bound to. Equivalent to if  satisfies. Otherwise, equivalent to.

@2@ Same as, except that is.

Parameters
(none)

Return value
if the size of the object of the derived type is (if  satisfies std), or its beginning iterator and the sentinel compare equal,  otherwise.