Predicate signature WithParam::guardChecksSig
Import path
import semmle.python.dataflow.new.internal.DataFlowPublicsignature predicate guardChecksSig(GuardNode g, ControlFlowNode node, boolean branch, P param)import semmle.python.dataflow.new.internal.DataFlowPublicsignature predicate guardChecksSig(GuardNode g, ControlFlowNode node, boolean branch, P param)