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