let pp_coma sep pp fmt = function | [] -> () | x::xs -> pp fmt x ; List.iter (fun y -> Format.fprintf fmt "%s@ %a" sep pp y) xs