let
equal t1 t2 =
(get_flags t1) = (get_flags t2)
&&
V
.equal (get_v t1) (get_v t2)