let
atom_mk_lt a b =
Atom
.mk_lt (a, b)