let pretty_status fmt = function | Status s -> Format.fprintf fmt "status %a" S.pretty s | Location l -> Format.fprintf fmt "location %a" Locations.pretty l