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