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