let equal t1 t2 = t1.lt_name = t2.lt_name