P1961R0

Harmonizing the definitions of total order for pointers