"Brendan Jurd" <direvus(at)gmail(dot)com> writes:
> Does this also explain the extra-weird output from HEAD, with the <=
> and = operators sorting earlier than the view, but the rest of the
> operators sorting after it?
No, that comes from the fact that we have dependencies on those two
operators (but not the whole opclass) in SortGroupClause. So they
get forced to come out before the view, but the rest do not.
regards, tom lane