let
lt x y =
Q
.cmp x y < 0