let
compare (x : int) y = compare x y