template <class T> concept bool Regular = Semiregular<T> && EqualityComparable<T>;
[ Note: The Regular concept is satisfied by types that behave similarly to built-in types like int and that are comparable with ==. — end note ]