let equal x y = S.equal x y