let compare t1 t2 =
    if equal t1 t2 then
      0
    else
      String.compare t1.string t2.string