let pretty pretty_v fmt m =
    Pretty_utils.pp_iter
      ~pre:"@[<hv 1>{"
      ~suf:"}@]"
      ~sep:" ;@ "
      (fun pp map -> iter (fun bi_ei v -> pp (bi_ei, v)) map)
      (fun fmt ((bi, ei), v) ->
         Format.fprintf fmt "[%a..%a] -> %a"
           Int.pretty bi Int.pretty ei
           pretty_v v)
      fmt
      m