Predicate Base::builtin_module_attribute

Holds if the named attribute of built-in module m is value of cls

predicate builtin_module_attribute(ModuleObject m, string name, Object value, ClassObject cls)