let pretty_with_part fmt (n, z_part) = Format.fprintf fmt "%a" pretty n; match z_part with None -> () | Some z -> Format.fprintf fmt "(restrict to @[<h 1>%a@])" Locations.Zone.pretty z