let pretty pretty_v fmt m = Format.fprintf fmt "{"; iter (fun (bi,ei) v -> Format.fprintf fmt "[%a..%a] -> %a ;@ " Int.pretty bi Int.pretty ei pretty_v v) m; Format.fprintf fmt "}"