let
mk_ge (a, b) = mk_in (
Arith
.mk_sub a b,
Sign
.
Nonneg
)