Predicate Make::Logic::ParameterizedValidationWrapper::guardChecks
Holds if the guard g validates the expression e upon evaluating to val.
Import path
import codeql.controlflow.Guardspredicate guardChecks(Guard g, Expr e, GuardValue val, P par)