let
print_inline fmt sa = fprintf fmt
"@[%a@]"
(
Atom
.print_atoms
true
"&&"
) (elements sa)