let
mk_gt (a, b) = mk_in (
Arith
.mk_sub a b,
Sign
.
Pos
)