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