Member predicate SsaImplicitInit::captures
Holds if this is a closure variable that captures the value of capturedvar
.
predicate captures(SsaVariable capturedvar)
Holds if this is a closure variable that captures the value of capturedvar
.
predicate captures(SsaVariable capturedvar)