let pp_list pp fmt = function | [] -> () | x::xs -> pp fmt x ; List.iter (fun x -> fprintf fmt " @,%a" pp x) xs