DROP USER — remove a database role
DROP USER [ IF EXISTS ] name [, ...]
DROP USER is simply an alternate spelling of DROP ROLE.
The DROP USER statement is a PostgreSQL extension. The SQL standard leaves the definition of users to the implementation.
© 1996–2020 The PostgreSQL Global Development Group
Licensed under the PostgreSQL License.
https://www.postgresql.org/docs/13/sql-dropuser.html