let
equal x y =
Z
.cmp x y == 0