Member predicate RequiresDirective::isTransitive
Holds if this requires directive is transitive,
that is, any module that depends on this module
has an implicitly declared dependency on the
module specified in this requires directive.
predicate isTransitive()