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