let equal (t1,d1) (t2,d2) =
         Pervasives.(=) d1 d2 && Typ.equal t1 t2