Predicate UndefinedExport::declaredInAll

Whether name is declared in the all list of this module

predicate declaredInAll(Module m, StrConst name)