let pp_labels fmt = function | [] -> () | x::xs -> Format.fprintf fmt "@[{%s" x ; List.iter (fun x -> Format.fprintf fmt ",%s" x) xs ; Format.fprintf fmt "}@]"