Predicate signature InputSig::uniqueTypeExclude
Holds if n should be excluded from the consistency test uniqueType.
signature predicate uniqueTypeExclude(Node n)Holds if n should be excluded from the consistency test uniqueType.
signature predicate uniqueTypeExclude(Node n)