for us, A and B are the same Term since they have the same hash, they are just two different alias for that hash, so if you update either, you are effectively u

for us, A and B are the same Term since they have the same hash, they are just two different alias for that hash, so if you update either, you are effectively updating both. In fact if you had the function: double x = x + x and you were to rewrite it to be: double addend = addend + addend Unison would say "this is the same function, no update needed" as it produces the same AST