Member predicate Member::Virtualizable::implementsExplicitInterface

Holds if this member implements an interface member explicitly.

predicate implementsExplicitInterface()