cpp/utility/compare/compare three way result

Let and  denote lvalue of  and  respectively, if the expression  is well-formed, provides the member typedef  equal to, otherwise there is no member.