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