let pp_block fmt op pp ps =
  Pretty_utils.pp_list
    ~pre:"@[<hv>" ~sep:("@ " ^^ op ^^ "@ ") ~suf:"@]"
    pp fmt ps