let pretty fmt dpd = Dpd.pretty fmt (dpd_kind dpd); match (dpd_zone dpd) with None -> () | Some z -> Format.fprintf fmt "@[<h 1>(%a)@]" Locations.Zone.pretty z