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()