Member predicate Type::RefType::hasSubtype

Holds if t is an immediate subtype of this type.

predicate hasSubtype(RefType t)