let
compare (i: int) (j : int) = compare i j