Member predicate Type::implements

Holds if this type implements interface i, that is, the method set of i is contained in the method set of this type and any type restrictions are satisfied.