Method code for $user_db.users()

[Turn on line numbering] 
return .database().keys();
// Created 27-Mar-1995 as a part of ColdCore, see: @help Credit
Tlon