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 "}@]"