a1, b1 = ...

if a == b:

a2, b2 = ...

else:

a3, b3 = ...

a4, b4 = ...

a2 is equal to a1

b2 is equal to b1

a2 is equal to b2

a1 is NOT equal to b1

Hrm, but to a bool looking at b2 it's as good as equal to a1.. ahh, but only b2 will be visible, not b1, and b1 is not equal.

The ultimate goal is for a branch to be able to match a bool's reduced values at any of those locations.

## No comments:

Post a Comment