Predicate signature Cached::DataFlowIntegration::WithParam::guardChecksSig
Import path
import semmle.code.csharp.dataflow.internal.SsaImplsignature predicate guardChecksSig(Guard g, Expr e, GuardValue gv, P param)import semmle.code.csharp.dataflow.internal.SsaImplsignature predicate guardChecksSig(Guard g, Expr e, GuardValue gv, P param)