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
)