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)