Member predicate ModuleObject::BuiltinModuleObject::attributeRefersTo

Whether the named attribute of this module “refers-to” value, with known class and a known origin.

predicate attributeRefersTo(string name, Object value, ClassObject cls, ControlFlowNode origin)