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.SsaComputepredicate definesAt(EssaDefinition def, SsaSourceVariable v, BasicBlock b, int i)