FDL > PVS > Prelude > sets > nonempty? : const-decl

nonempty?(a): bool = NOT empty?(a);