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