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