- fun name t = "+t" ^ Int.toString t
-
- fun compare (t1,t2) = Int.compare (t1,t2)
+ fun name (t,s, sz) = "+t" ^ Int.toString t ^ "[" ^ s ^ "]"
+ fun size (t, s, sz) = sz
+ fun compare ((t1,_,_),(t2,_,_)) = Int.compare (t1,t2)
+
+ fun eq ((t1,_,_), (t2,_,_)) = t1 = t2