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