Predicate PointsTo::PointsTo::API::module_defines_name

INTERNAL – Use ModuleObject.hasAttribute(name)

Whether the module defines name.

predicate module_defines_name(Module mod, string name)