Template:cpp/concepts/dsc strict weak order