let
atom_mk_ge a b =
Atom
.mk_ge (a, b)