Member predicate API::AdditionalUseStep::step
Holds if use nodes should flow from pred
to succ
.
predicate step(SourceNode pred, SourceNode succ)
Holds if use nodes should flow from pred
to succ
.
predicate step(SourceNode pred, SourceNode succ)