Predicate signature Make::Logic::WithParam::guardChecksSig
Import path
import codeql.controlflow.Guardssignature predicate guardChecksSig(Guard g, Expr e, GuardValue gv, P par)import codeql.controlflow.Guardssignature predicate guardChecksSig(Guard g, Expr e, GuardValue gv, P par)