Provided by: postgresql-client-10_10.23-0ubuntu0.18.04.2_amd64 bug

NAME

       DROP_USER - remove a database role

SYNOPSIS

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

DESCRIPTION

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

COMPATIBILITY

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

SEE ALSO

       DROP ROLE (DROP_ROLE(7))