Predicate SsaComputeImpl::AdjacentUsesImpl::definesAt
Holds if def
defines v
at the specified position.
Phi nodes are placed at index -1.
Import path
import semmle.python.essa.SsaCompute
predicate definesAt(EssaDefinition def, SsaSourceVariable v, BasicBlock b, int i)