let pp_formals fmt = function | [] -> () | x::xs -> Format.fprintf fmt "'%s'" x.vname (* user info *) ; List.iter (fun x -> Format.fprintf fmt ",@ '%s'" x.vname) xs