Member predicate Module::Module::declaredInAll

Whether name is declared in the all list of this module

predicate declaredInAll(string name)