let equal (ta,n) (tb,m) = (n=m) && Ctypes.equal ta tb