Template:cpp/container/ordered heterogeneous lookup
From cppreference.com
This overload participates in overload resolution only if the qualified-id Compare::is_transparent is valid and denotes a type. It allows calling this function without constructing an instance of Key.