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 "}"