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)