Member predicate Overridable :: overridesOrImplementsOrEquals
Holds if this member overrides or implements (reflexively, transitively)
that
member.
predicate
overridesOrImplementsOrEquals
(
Overridable
that
)