@DIREMPTY — Checks whether a directory is empty.

Syntax:
@DIREMPTY[dirname]

dirnamethe directory to check

If dirname is a directory and it is empty, @DIRNAME returns 1. If dirname is not a directory, if it isn’t readable, or if it contains anything other than . and .., then @DIRNAME returns 0.

See also: the EMPTIES command.