let equal t1 t2 = t1 == t2