DROP USER
DROP USER [ IF EXISTS ] name [, ...]
Description
DROP USER is simply an alternate spelling of DROP ROLE.
Compatibility
The DROP USER statement is a PostgreSQL extension.
The SQL standard leaves the definition of users to the implementation.