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