I've recently come across this way of using the interval type in PostgreSQL:
SELECT CURRENT_DATE + INTERVAL '1' month;
?column?
---------------------
2018-11-22 00:00:00
From the docs, it looks like the “proper” way to do it would be:
SELECT CURRENT_DATE + INTERVAL '1 month';
?column?
---------------------
2018-11-22 00:00:00
Are the two queries equivalent? Where's the former syntax documented?