let
atom_mk_le a b =
Atom
.mk_le (a, b)