let pretty =
  let module M =
        Base.Map.Make(struct
        open Locations
        include Datatype.Pair(Zone)(Location_Bits)
        let pretty fmt (z, loc) =
          Format.fprintf fmt "@[<hov 1>[Zone:%a@ Loc_bits:%a]@]"
            Zone.pretty z
            Location_Bits.pretty loc
        end)
  in
  fun fmt m ->
    Format.fprintf fmt "Access_path:@\n%a@\n=============@\n" M.pretty m