Predicate hasDescendant
Holds if reference type anc
is a direct or indirect supertype of sub
, including itself.
Import path
import java
predicate
hasDescendant
(
RefType
anc
,
Type
sub
)