Yes, I think that you are correct. (With a repr function that normalizes along links we would use let t1, t2 = repr t1, repr t2 before the equality test.)
1 Like
Yes, I think that you are correct. (With a repr function that normalizes along links we would use let t1, t2 = repr t1, repr t2 before the equality test.)