Predicate signature OutputSig::capturePostUpdateNode
Holds if post
is a PostUpdateNode
for pre
.
signature predicate capturePostUpdateNode(SynthesizedCaptureNode post, SynthesizedCaptureNode pre)
Holds if post
is a PostUpdateNode
for pre
.
signature predicate capturePostUpdateNode(SynthesizedCaptureNode post, SynthesizedCaptureNode pre)