let
atom_mk_gt a b =
Atom
.mk_gt (a, b)