Member predicate Virtualizable::implements

Holds if this member implements (transitively) an interface member.

predicate implements()