Peter Eisentraut f21a563d25 Move some things from builtins.h to new header files
This avoids that builtins.h has to include additional header files.
2017-01-20 20:29:53 -05:00
..
2011-04-25 22:27:11 +03:00
2017-01-03 13:48:53 -05:00