let
atom_mk_diseq a b =
Atom
.mk_diseq (a, b)