Member predicate DataFlow::Node::hasUnderlyingType

Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

predicate hasUnderlyingType(string globalName)