Template:cpp/concepts/dsc boolean-testable