If we think that operators outside of extensions will be an infrequent special case, what about just dumping all of them into a single file named "operators"? And similarly for casts? regards, tom lane
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных