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