For an overview of this library, along with tutorials and examples, see CodeQL for Java
Holds if t is an immediate super-type of this type using only the immediate
extends or implements relationships. In particular, this excludes
parameter containment sub-typing for parameterized types.
predicate extendsOrImplements(RefType t)