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