let pp_formals fmt xs = List.iter (fun x -> Format.fprintf fmt "(%s:%a)@," (F.name_of_var x) M.pp_tau (F.tau_of_var x) ; ) xs