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