For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if this basic block defines variable v in its ith node u.
v
i
u
predicate defAt(int i, Variable v, VarDef d)