Holds if the ith node of bb defines v.
Import path
import semmle.go.dataflow.SsaImplpredicate defAt(ReachableBasicBlock bb, int i, SsaSourceVariable v)Holds if the ith node of bb defines v.
import semmle.go.dataflow.SsaImplpredicate defAt(ReachableBasicBlock bb, int i, SsaSourceVariable v)