Member predicate Type::isSystemType
Holds if this type is a member of the System
namespace and has the name
name
.
predicate isSystemType(string name)
Holds if this type is a member of the System
namespace and has the name
name
.
predicate isSystemType(string name)