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