DROP USER [ IF EXISTS ] name [, ...]
DROP USER is now an alias for DROP ROLE.
The DROP USER statement is a PostgreSQL extension. The SQL standard leaves the definition of users to the implementation.