Assertion: concept | /r/HasProperty | = std
Facets:
Source sentences:
text: // concept template < class T, class U > concept Derived = std:: is_base_of