Member predicate ModuleObject::ModuleObject::importedAs

Whether this module is imported by ‘import name’. For example on a linux system, the module ‘posixpath’ is imported as ‘os.path’ or as ‘posixpath’

predicate importedAs(string name)