Implement Placeholder.equals() and use it in CondContext
Because == aka. __eq__ is already reserved for producing predicates, we need a separate function to check if two placeholders are "the same". Note that even non-equal placeholders can eventually resolve to equal values, but that's not what we're concerned with here.
Implement Placeholder.equals() and use it in CondContext
Because
==
aka.__eq__
is already reserved for producing predicates, we need a separate function to check if two placeholders are "the same". Note that even non-equal placeholders can eventually resolve to equal values, but that's not what we're concerned with here.