Predicate PointsTo::PointsTo::API::py_module_attributes

INTERNAL – Use m.attributeRefersTo(name, obj, origin) instead.

Holds if m.name points to (value, cls, origin), where m is a (source) module.

predicate py_module_attributes(Module m, string name, Object obj, ClassObject cls, ControlFlowNode origin)