Predicate summaryStep
Holds if a CSV summary contributed the step pred -> succ of the given kind.
Import path
import semmle.python.frameworks.data.internal.ApiGraphModelsSpecificpredicate summaryStep(Node pred, Node succ, string kind)Holds if a CSV summary contributed the step pred -> succ of the given kind.
import semmle.python.frameworks.data.internal.ApiGraphModelsSpecificpredicate summaryStep(Node pred, Node succ, string kind)