let
mk_lt (a, b) = mk_in (
Arith
.mk_sub a b,
Sign
.
Neg
)