Member predicate SsaExplicitDefinition::defines
This SSA definition corresponds to the definition of v at def.
predicate defines(VarDef def, SsaSourceVariable v)This SSA definition corresponds to the definition of v at def.
predicate defines(VarDef def, SsaSourceVariable v)