Member predicate Type::implements

Holds if this type implements an interface that has the qualified name pkg.name, that is, the method set of pkg.name is contained in the method set of this type and any type restrictions are satisfied.