Member predicate TypeAnnotation::hasUnderlyingType

Holds if this is a reference to the type exported from moduleName under the name exportedName, or is declared as a subtype thereof, or is a union or intersection containing such a type.