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