let equal x y = (cmp x y) = 0