let
print fmt sa = fprintf fmt
"@[<hov>%a@]"
(
Atom
.print_atoms
false
"&&"
) (elements sa)