```cpp // [span.obs], observers constexpr size_type size() const noexcept; constexpr size_type size_bytes() const noexcept; constexpr bool empty() const noexcept; template <typename U> constexpr bool SPANS_OVER(const U & obj) const noexcept; ```