DROP_USER (7)

DROP USER [ IF EXISTS ] name [, ...]

DROP USER is simply an alternate spelling of DROP ROLE (DROP_ROLE(7)).

The DROP USER statement is a PostgreSQL extension. The SQL standard leaves the definition of users to the implementation.

DROP ROLE (DROP_ROLE(7))