cpp/experimental/propagate const/cmp func

The standard comparison function objects are partially specialized for.

Let denote the pointer-like object wrapped by a, then given objects  and  of type , the following shall hold: