let
atoms_singleton =
Atom
.
Set
.singleton