let pp fmt ds =
  Pretty.infixl Atom.pp " OR " fmt (to_list ds)