Predicate signature InputSig::argHasPostUpdateExclude
Holds if n
should be excluded from the consistency test argHasPostUpdate
.
signature predicate argHasPostUpdateExclude(ArgumentNode n)
Holds if n
should be excluded from the consistency test argHasPostUpdate
.
signature predicate argHasPostUpdateExclude(ArgumentNode n)