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