Member predicate Class :: derivesFrom
Holds if this class/struct derives directly from that.
predicate
derivesFrom
(
Class
that
)