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