let
gt x y =
Q
.cmp x y > 0