Member predicate ModuleObject::BuiltinModuleObject::hasAttribute

predicate hasAttribute(string name)