mapping filter_mapping(mapping map, string fun, object ob, mixed extra, ...);
mapping filter_array(mapping map, function f, mixed extra, ...);
filter_mapping() is really the same as the filter() efun.
See also: filter
Beek @ZorkMUD, Lima Bean, IdeaExchange, TMI-2, and elsewhere